diff --git a/workflow/engine/classes/model/UsersProperties.php b/workflow/engine/classes/model/UsersProperties.php
index 073e52d7a..3bb8b6797 100644
--- a/workflow/engine/classes/model/UsersProperties.php
+++ b/workflow/engine/classes/model/UsersProperties.php
@@ -340,7 +340,7 @@ class UsersProperties extends BaseUsersProperties
             global $RBAC;
             $oConf = new Configurations();
             $oConf->loadConfig($x, 'USER_PREFERENCES', '', '', $_SESSION['USER_LOGGED'], '');
-            if (sizeof($oConf->aConfig) > 0) {
+            if (isset($oConf->aConfig['DEFAULT_MENU'])) {
                 if ($oConf->aConfig['DEFAULT_MENU'] == 'PM_USERS') {
                     $oConf->aConfig['DEFAULT_MENU'] = 'PM_SETUP';
                 }
@@ -474,7 +474,7 @@ class UsersProperties extends BaseUsersProperties
         }
         $url = '';
 
-        if (sizeof($oConf->aConfig) > 0) {
+        if (isset($oConf->aConfig['DEFAULT_MENU'])) {
             // this user has a configuration record
             // backward compatibility, because now, we don't have user and dashboard menu.
             if ($oConf->aConfig['DEFAULT_MENU'] == 'PM_USERS') {