diff --git a/docs/source/simplesamlphp-theming.txt b/docs/source/simplesamlphp-theming.txt
index 9fa9aa69bcfbce2b02a6c06c29529f59b35f35d9..5a95272a251543ef22b229c0e0feeccd1fcae147 100644
--- a/docs/source/simplesamlphp-theming.txt
+++ b/docs/source/simplesamlphp-theming.txt
@@ -7,6 +7,9 @@ Theming the user interface in SimpleSAMLphp
 	http://daringfireball.net/projects/markdown/syntax
 -->
 
+  * Version: `$Id$`
+
+
 In SimpleSAMLphp every part that needs to interact with the user by using a web page, uses templates to present the XHTML. SimpleSAMLphp comes with a default set of templates that presents a anonymous look.
 
 You may create your own theme, where you add one or more template files that will override the default ones. This document explains how to achieve that.