--- wp-admin/includes/class-wp-users-list-table.php.ori	2011-06-07 14:05:04 +0000
+++ wp-admin/includes/class-wp-users-list-table.php	2011-07-31 09:17:28 +0000
@@ -112,7 +112,7 @@
 
 			$name = translate_user_role( $name );
 			/* translators: User role name with count */
-			$name = sprintf( __('%1$s <span class="count">(%2$s)</span>'), $name, $avail_roles[$this_role] );
+			$name = sprintf( __('%1$s <span class="count">(%2$s)</span>'), $name, number_format_i18n( $avail_roles[$this_role] ) );
 			$role_links[$this_role] = "<a href='" . esc_url( add_query_arg( 'role', $this_role, $url ) ) . "'$class>$name</a>";
 		}