diff --git a/docs-web/src/main/webapp/js/controller/Settings.js b/docs-web/src/main/webapp/js/controller/Settings.js
index e5cf7026..dfd6fbb1 100644
--- a/docs-web/src/main/webapp/js/controller/Settings.js
+++ b/docs-web/src/main/webapp/js/controller/Settings.js
@@ -4,4 +4,8 @@
  * Settings controller.
  */
 App.controller('Settings', function($scope, Restangular) {
+  // Flag if the user is admin
+  $scope.userInfo.then(function (data) {
+    $scope.isAdmin = data.base_functions.indexOf('ADMIN') != -1;
+  });
 });
\ No newline at end of file
diff --git a/docs-web/src/main/webapp/partial/settings.html b/docs-web/src/main/webapp/partial/settings.html
index a55214d7..2563eff3 100644
--- a/docs-web/src/main/webapp/partial/settings.html
+++ b/docs-web/src/main/webapp/partial/settings.html
@@ -6,9 +6,9 @@
         <li ng-class="{active: $uiRoute}" ui-route="/settings/account"><a href="#/settings/account">User account</a></li>
         <li ng-class="{active: $uiRoute}" ui-route="/settings/session"><a href="#/settings/session">Opened sessions</a></li>
         
-        <li class="nav-header">General settings</li>
-        <li ng-class="{active: $uiRoute}" ui-route="/settings/user.*" ng-show="userInfo.base_functions.indexOf('ADMIN') != -1"><a href="#/settings/user">Users</a></li>
-        <li ng-class="{active: $uiRoute}" ui-route="/settings/log"><a href="#/settings/log">Server logs</a></li>
+        <li class="nav-header" ng-show="isAdmin">General settings</li>
+        <li ng-show="isAdmin" ng-class="{active: $uiRoute}" ui-route="/settings/user.*"><a href="#/settings/user">Users</a></li>
+        <li ng-show="isAdmin" ng-class="{active: $uiRoute}" ui-route="/settings/log"><a href="#/settings/log">Server logs</a></li>
       </ul>
     </div>