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