Index: wp-admin/user-edit.php
===================================================================
--- wp-admin/user-edit.php	(revision 4215)
+++ wp-admin/user-edit.php	(working copy)
@@ -38,13 +38,13 @@
 }
 
 default:
-include ('admin-header.php');
-
 $profileuser = get_user_to_edit($user_id);
 
 if ( !current_user_can('edit_user', $user_id) )
 	if ( !is_wp_error( $errors ) )
-		$errors = new WP_Error('head', __('You do not have permission to edit this user.'));
+		wp_die(__('You do not have permission to edit this user.'));
+
+include ('admin-header.php');
 ?>
 
 <?php if ( isset($_GET['updated']) ) : ?>