diff --git a/inc/html.php b/inc/html.php
index 212d9507ae31e4809af22c8640d5becc7bbcf671..b61a5654b94b36b4913a77789ddb06df6f8b01bd 100644
--- a/inc/html.php
+++ b/inc/html.php
@@ -74,7 +74,7 @@ function html_login(){
 function html_denied() {
     print p_locale_xhtml('denied');
 
-    if(!isset($_SERVER['REMOTE_USER'])){
+    if(empty($_SERVER['REMOTE_USER'])){
         html_login();
     }
 }