Index: /Users/simon/Projects/WordPress/site/wordpress/wp-admin/admin.php
===================================================================
--- /Users/simon/Projects/WordPress/site/wordpress/wp-admin/admin.php	(revision 10236)
+++ /Users/simon/Projects/WordPress/site/wordpress/wp-admin/admin.php	(working copy)
@@ -61,7 +61,9 @@
 		$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('tools.php?page=' . $plugin_page);
+			// There could be plugin specific params on the URL, so we need the whole query string
+			$query_string = $_SERVER[ 'QUERY_STRING' ];
+			wp_redirect( 'tools.php?' . $query_string );
 			exit;
 		}
 	}