diff --git a/theme/index.php b/theme/index.php
index 72e19c9f554..0c5f4ea4404 100644
--- a/theme/index.php
+++ b/theme/index.php
@@ -153,7 +153,7 @@ if (!empty($CFG->enabledevicedetection) && empty($device)) {
             //obsoleted or broken theme, just skip for now
             continue;
         }
-        if (!$CFG->themedesignermode && $theme->hidefromselector) {
+        if (empty($CFG->themedesignermode) && $theme->hidefromselector) {
             // The theme doesn't want to be shown in the theme selector and as theme
             // designer mode is switched off we will respect that decision.
             continue;
@@ -194,4 +194,4 @@ if (!empty($CFG->enabledevicedetection) && empty($device)) {
 
 echo html_writer::table($table);
 
-echo $OUTPUT->footer();
\ No newline at end of file
+echo $OUTPUT->footer();