--- vanilla-switchtheme.module	2008-10-21 11:07:51.000000000 +1100
+++ extended-switchtheme.module	2008-10-21 11:07:39.000000000 +1100
@@ -144,9 +144,8 @@ function switchtheme_switch_form_submit(
     // Save the setting in the db for logged in users.
     // We do not validate the input here, because that is done in init_theme()
     // already.
-    if (user_save($user, array('theme' => $form_values['theme']))) {
-      $user->theme = $form_values['theme'];
-    }
+    $user->theme = $form_values['theme'];
+    user_save($user, array('theme' => $form_values['theme']));
     $_SESSION['custom_theme'] = $form_values['theme'];
   }
   elseif (user_access('switch theme')) {