diff --git a/admin/user.php b/admin/user.php
index 56e457e..329ba6d 100644
--- a/admin/user.php
+++ b/admin/user.php
@@ -188,7 +188,9 @@
     $usersearchcount = get_users(false, '', false, null, "", '', '', '', '', '*', $extrasql, $params);
 
     if ($extrasql !== '') {
-        echo $OUTPUT->heading("$usersearchcount / $usercount ".get_string('users'));
+        if($usersearchcount) {
+            echo $OUTPUT->heading("$usersearchcount / $usercount ".get_string('users'));
+        }
         $usercount = $usersearchcount;
     } else {
         echo $OUTPUT->heading("$usercount ".get_string('users'));
