diff --git a/VERSION b/VERSION
index 937aa6f0..1f0bfa2d 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-Version 2.5.1-stable+timestamp.2013.06.26.02.53.33
+Version 2.5.1-stable+timestamp.2013.06.26.04.01.26
diff --git a/gluon/tools.py b/gluon/tools.py
index 37069c32..6ec9d4d3 100644
--- a/gluon/tools.py
+++ b/gluon/tools.py
@@ -5201,12 +5201,13 @@ class Wiki(object):
         return True
 
     def can_see_menu(self):
-        if self.settings.menu_groups is None:
-            return True
         if self.auth.user:
-            groups = self.auth.user_groups.values()
-            if any(t in self.settings.menu_groups for t in groups):
+            if self.settings.menu_groups is None:
                 return True
+            else:
+                groups = self.auth.user_groups.values()
+                if any(t in self.settings.menu_groups for t in groups):
+                    return True
         return False
 
     ### END POLICY