diff --git a/wp-admin/admin.php b/wp-admin/admin.php
index e639e86d0e..e4337ff316 100644
--- a/wp-admin/admin.php
+++ b/wp-admin/admin.php
@@ -61,7 +61,7 @@ if (isset($plugin_page)) {
 		$page_hook = get_plugin_page_hook($plugin_page, $plugin_page);
 		// backwards compatibility for plugins using add_management_page
 		if ( empty( $page_hook ) && 'edit.php' == $pagenow && '' != get_plugin_page_hook($plugin_page, 'tools.php') ) {
-			wp_redirect('tool.php?page=' . $plugin_page);
+			wp_redirect('tools.php?page=' . $plugin_page);
 			exit;
 		}
 	}