Index: /branches/2.0/wp-admin/users.php
===================================================================
--- /branches/2.0/wp-admin/users.php	(revision 9817)
+++ /branches/2.0/wp-admin/users.php	(working copy)
@@ -98,6 +98,7 @@
 <?php
 	$go_delete = false;
  	foreach ($userids as $id) {
+ 		$id = (int) $id;
  		$user = new WP_User($id);
 		if ($id == $current_user->id) {
 			echo "<li>" . sprintf(__('ID #%1s: %2s <strong>The current user will not be deleted.</strong>'), $id, $user->user_login) . "</li>\n";