diff --git a/src/etc/inc/auth.inc b/src/etc/inc/auth.inc
index f00b4ddb5..99809be74 100644
--- a/src/etc/inc/auth.inc
+++ b/src/etc/inc/auth.inc
@@ -253,7 +253,6 @@ function get_user_privileges(& $user) {
         $privs = $user['priv'];
         if (!is_array($privs)) {
                 $privs = array();
-		$privs[] = $user['priv'];
 	}
 
         $names = local_user_get_groups($user, true);