diff --git a/modules/user.module b/modules/user.module
index af603cd75b77bc9ac7f5a8177e4ee6e818b6b0ae..6bfd825b939897cd2e6f68864427ab3440ab28dd 100644
--- a/modules/user.module
+++ b/modules/user.module
@@ -956,7 +956,9 @@ function user_logout() {
   // Destroy the current session:
   session_destroy();
   module_invoke_all('user', 'logout', NULL, $user);
-  unset($user);
+
+  // We have to use $GLOBALS to unset a global variable:
+  unset($GLOBALS['user']);
 
   drupal_goto();
 }
diff --git a/modules/user/user.module b/modules/user/user.module
index af603cd75b77bc9ac7f5a8177e4ee6e818b6b0ae..6bfd825b939897cd2e6f68864427ab3440ab28dd 100644
--- a/modules/user/user.module
+++ b/modules/user/user.module
@@ -956,7 +956,9 @@ function user_logout() {
   // Destroy the current session:
   session_destroy();
   module_invoke_all('user', 'logout', NULL, $user);
-  unset($user);
+
+  // We have to use $GLOBALS to unset a global variable:
+  unset($GLOBALS['user']);
 
   drupal_goto();
 }