diff --git a/inc/html.php b/inc/html.php
index b1cc13c8d09269912efaf48b93f746821bff6c29..c3cc66aa9d5fc3aad69251a17b2f38dc52e61d86 100644
--- a/inc/html.php
+++ b/inc/html.php
@@ -898,7 +898,7 @@ function html_index($ns){
     $ns  = cleanID($ns);
     if(empty($ns)){
         $ns = getNS($ID);
-        if($ns == false) $ns ='';
+        if($ns === false) $ns ='';
     }
     $ns  = utf8_encodeFN(str_replace(':','/',$ns));