Index: wp-admin/options-personal.php
===================================================================
--- wp-admin/options-personal.php	(revision 2981)
+++ wp-admin/options-personal.php	(working copy)
@@ -17,8 +17,10 @@
 <tr valign="top"> 
 <th width="33%" scope="row"><?php _e('Editing:') ?></th> 
 <td><label for="rich_editing">
-<input name="rich_editing" type="checkbox" id="rich_editing" value="true" <?php checked('true', get_user_option('rich_editing')); ?> />
-<?php _e('Use the visual rich editor when writing') ?></label></td> 
+<?php if (current_user_can('edit_posts')) { ?>
+	<input name="rich_editing" type="checkbox" id="rich_editing" value="true" <?php checked('true', get_user_option('rich_editing')); ?> />
+	<?php _e('Use the visual rich editor when writing') ?></label></td> 
+<?php } ?>
 </tr> 
 <tr valign="top"> 
 <th scope="row"><?php _e('More:') ?></th>