diff -crB gnome-shell-extensions-orig/extensions/user-theme/extension.js gnome-shell-extensions/extensions/user-theme/extension.js
*** gnome-shell-extensions-orig/extensions/user-theme/extension.js	2011-04-06 22:28:44.000000000 +0200
--- gnome-shell-extensions/extensions/user-theme/extension.js	2011-04-10 22:59:56.782214867 +0200
***************
*** 36,41 ****
--- 36,46 ----
              Main.setThemeStylesheet(_stylesheet);
              Main.loadTheme();
          }
+         else {
+             global.log('loading original theme')
+             Main.setThemeStylesheet('/usr/share/gnome-shell/theme/gnome-shell.css');
+             Main.loadTheme();
+         }
      }
  }
 
