diff --git a/src/ui/JMenuBarTurtle.java b/src/ui/JMenuBarTurtle.java
index a2903dd628b8d323d25af8c59a472a2322f36fd2..b5f56eae6306688700341f01353cbcbdf6bcfc59 100755
--- a/src/ui/JMenuBarTurtle.java
+++ b/src/ui/JMenuBarTurtle.java
@@ -613,7 +613,7 @@ public  class JMenuBarTurtle extends JMenuBar   {
         menuItem.addMouseListener(mgui.mouseHandler);
         menuItem = help.add(mgui.actions[TGUIAction.ACT_DIPLODOCUS_DOCUMENTATION]);
         menuItem.addMouseListener(mgui.mouseHandler);
-	menuItem = help.add(mgui.actions[TGUIAction.ACT_SYSMLSEC_DOCUMENTATION]);
+        menuItem = help.add(mgui.actions[TGUIAction.ACT_SYSMLSEC_DOCUMENTATION]);
         menuItem.addMouseListener(mgui.mouseHandler);
         help.addSeparator();
         menuItem = help.add(mgui.actions[TGUIAction.ACT_TURTLE_WEBSITE]);