--- menu.inc	2005-06-30 14:30:54.000000000 +0100
+++ menu_patched.inc	2005-06-30 14:28:47.000000000 +0100
@@ -345,7 +345,10 @@
   }
 
   // We found one, and are allowed to execute it.
-  $arguments = array_key_exists('callback arguments', $menu['items'][$mid]) ? $menu['items'][$mid]['callback arguments'] : array();
+  $arguments = $menu['items'][$mid]['callback arguments'];
+  if (empty($arguments)) {
+    $arguments = array();
+  }
   $arg = substr($_GET['q'], strlen($menu['items'][$mid]['path']) + 1);
   if (strlen($arg)) {
     $arguments = array_merge($arguments, explode('/', $arg));