Index: wp-admin/menu.php
===================================================================
--- wp-admin/menu.php	(revision 10882)
+++ wp-admin/menu.php	(working copy)
@@ -127,7 +127,7 @@
 
 // Create list of page plugin hook names.
 foreach ($menu as $menu_page) {
-	$admin_page_hooks[$menu_page[2]] = sanitize_title($menu_page[0]);
+	$admin_page_hooks[$menu_page[2]] = sanitize_title(basename($menu_page[2], '.php'));
 }
 
 $_wp_submenu_nopriv = array();