--- a/UIHelpTool.st	Thu Oct 22 21:51:46 2009 +0200
+++ b/UIHelpTool.st	Thu Oct 22 21:53:49 2009 +0200
@@ -504,7 +504,7 @@
             submenuChannel: menuHistory
           )
          (MenuItem
-            label: 'Help'
+            label: 'MENU_Help'
             translateLabel: true
             startGroup: conditionalRight
             submenuChannel: menuHelp
@@ -1439,4 +1439,8 @@
 
 version
     ^ '$Header$'
+!
+
+version_CVS
+    ^ '$Header$'
 ! !