--- menu_html.bak	2011-01-26 16:21:46.000000000 +0100
+++ menu_html.module	2011-01-26 16:31:22.000000000 +0100
@@ -7,12 +7,14 @@
 function menu_html_form_alter(&$form, $form_state, $form_id) {
   if ($form_id == 'menu_edit_item' || strpos($form_id, '_node_form') > 0) {
     $item = $form['menu']['#item'];
-    $form['menu']['html'] = array(
+    if (user_access('administer nodes')) {
+    $form['menu']['html'] = array( 
       '#type' => 'checkbox',
       '#title' => t('Allow html'),
       '#default_value' => isset($item['options']['html']) ? $item['options']['html'] : 0,
       '#description' => t('If you want to add html tags to the title of a menu, enable this. This should only be accessible to trusted users.'),
       );
+      }
   }
 }