Index: wp-admin/user-edit.php
===================================================================
--- wp-admin/user-edit.php	(revision 11476)
+++ wp-admin/user-edit.php	(working copy)
@@ -39,7 +39,7 @@
 	wp_die( __('Invalid user ID.') );
 }
 
-$all_post_types = apply_filters('all_post_types', array('post', 'page'));
+$all_post_types = apply_filters('all_post_types', array('posts', 'pages'));
 $user_can_edit = false;
 foreach ( $all_post_types as $post_type )
 	$user_can_edit |= current_user_can("edit_$post_type");