--- D:\src\drupal\6.0\modules\simplemenu\simplemenu.module	Thu Feb 28 21:47:18 2008 UTC
+++ D:\src\htdocs\drupal6\modules\simplemenu\simplemenu.module	Wed Jul 23 09:04:03 2008 UTC
@@ -29,7 +29,7 @@
 function simplemenu_init() {
   global $theme;
   $exclusions = variable_get('simplemenu_exclusions', array());
-  if (user_access('view simplemenu') && (!isset($exclusions[$theme])) ) {
+  if (user_access('view simplemenu') && (empty($exclusions[$theme])) ) {
     global $theme, $custom_theme;
     $path = drupal_get_path('module', 'simplemenu');
     $simplemenu_theme = variable_get('simplemenu_theme', 'original');