--- simplemenu/simplemenu.module.orig	2008-12-06 09:12:22.000000000 -0800
+++ simplemenu/simplemenu.module	2008-12-12 03:09:14.000000000 -0800
@@ -30,9 +30,13 @@
   static $enabled;
   
   if(!isset($enabled)) {
-    global $theme;
-    $exclusions = variable_get('simplemenu_exclusions', array());
-    $enabled = (user_access('view simplemenu') && (!isset($exclusions[$theme])) && _simplemenu_page_visibility());
+    $enabled = user_access('view simplemenu') && _simplemenu_page_visibility();
+    if ($enabled) {
+      init_theme();
+      global $theme;
+      $exclusions = variable_get('simplemenu_exclusions', array());
+      $enabled = is_numeric($exclusions[$theme]);
+    }
   }
   
   return $enabled;