diff --git a/inc/html.php b/inc/html.php
index d768022ecdc83d076e30a08f42bd109ac74862b4..21dfb44ee36b6439942c9206f4062ffa729c7d4e 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(!$_SERVER['REMOTE_USER']){
+    if(empty($_SERVER['REMOTE_USER'])){
         html_login();
     }
 }