Index: comment.php
===================================================================
--- comment.php	(revision 7690)
+++ comment.php	(working copy)
@@ -141,7 +141,9 @@
 	else
 		wp_delete_comment( $comment->comment_ID );
 
-	if ( '' != wp_get_referer() && false == $noredir )
+	if ( ( '' != wp_get_referer() && false == $noredir )
+	&& ( false === stripos( wp_get_referer(), 'action=editcomment' ) )
+	&& ( false === stripos( wp_get_referer(), 'c=' . $comment_id ) ))
 		wp_redirect( wp_get_referer() );
 	else
 		wp_redirect( get_option('siteurl') . '/wp-admin/edit-comments.php' );