--- a/HistoryManager.st	Fri Mar 22 10:31:12 2013 +0000
+++ b/HistoryManager.st	Fri Mar 22 11:11:55 2013 +0000
@@ -1022,7 +1022,7 @@
 !
 
 version
-    ^ '$Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
+    ^ '$Header: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
 ! !
 
 !HistoryManager::HistoryLine class methodsFor:'filtering'!
@@ -1718,7 +1718,7 @@
 !HistoryManager class methodsFor:'documentation'!
 
 version
-    ^ '$Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
+    ^ '$Header: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
 !
 
 version_HG
@@ -1727,7 +1727,7 @@
 !
 
 version_SVN
-    ^ '$Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
+    ^ '§Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 §'
 ! !