diff --git a/main/inc/local.inc.php b/main/inc/local.inc.php
index bb78a1bc24..6ba9c5acd4 100644
--- a/main/inc/local.inc.php
+++ b/main/inc/local.inc.php
@@ -777,7 +777,7 @@ if ((isset($uidReset) && $uidReset) || (isset($cidReset) && $cidReset)) // sessi
 				
 	            api_session_register('_courseUser');
 	        }
-	        if (!$is_courseAdmin) // this user has no status related to this course
+	        if (empty($is_courseAdmin)) // this user has no status related to this course
 		        {
 		    	// is it the session coach or the session admin ?