diff --git a/docs/enduser-tidy.html b/docs/enduser-tidy.html
index 51b52128..607c438a 100644
--- a/docs/enduser-tidy.html
+++ b/docs/enduser-tidy.html
@@ -225,6 +225,6 @@ and if that still doesn't satisfy your appetite, do some fine tuning.
 Other than that, don't worry about it: this all works silently and
 effectively in the background.</p>
 
-<div id="version">$Id: $</div>
+<div id="version">$Id$</div>
 
 </body></html>
\ No newline at end of file