diff --git a/admin/user.php b/admin/user.php
index 043a928e1c1..ff014601214 100644
--- a/admin/user.php
+++ b/admin/user.php
@@ -19,7 +19,7 @@
         redirect('index.php');
     }
 
-    if (!$CFG->rolesactive) {   // No admin user yet.
+    if (empty($CFG->rolesactive)) {   // No admin user yet.
 
         $user = new object();
         $user->firstname    = get_string('admin');