Index: wp-admin/options.php
===================================================================
--- wp-admin/options.php	(revision 5851)
+++ wp-admin/options.php	(working copy)
@@ -106,7 +106,6 @@
 		}
 	}
     
-	$referred = remove_query_arg('updated' , wp_get_referer());
 	$goback = add_query_arg('updated', 'true', wp_get_referer());
 	$goback = preg_replace('|[^a-z0-9-~+_.?#=&;,/:]|i', '', $goback);
 	wp_redirect($goback);