--- role_to_file.module	2004-08-11 06:52:22.000000000 +0100
+++ role_to_file.module.new	2004-11-24 17:38:52.000000000 +0000
@@ -38,7 +38,7 @@ function role_to_file_menu() {
 
   // Tabs:
   $items[] = array('path' => 'admin/settings/role_to_file/configure', 'title' => t('configure'),
-    'type' => MENU_DEFAULT_LOCAL_TASK, 'weight' => -10);
+    'access' => $access, 'type' => MENU_DEFAULT_LOCAL_TASK, 'weight' => -10);
   $items[] = array('path' => 'admin/settings/role_to_file/update', 'title' => t('update'),
     'callback' => 'role_to_file_cron', 'callback arguments' => 'update',
     'access' => $access, 'type' => MENU_LOCAL_TASK);