diff --git a/modules/entities/manage_listinstance.php b/modules/entities/manage_listinstance.php
index ac118c529318cf711e4af8fdbce6ee3759df78f4..bfaa33aff249f01baffcdbfb8b664a6789c83293 100755
--- a/modules/entities/manage_listinstance.php
+++ b/modules/entities/manage_listinstance.php
@@ -817,15 +817,12 @@ $linkwithwhat =
                 // OTHER ROLE USERS
                 //**************************************************************************
                 $color = ' class="col"';
-                    if (empty($_SESSION[$origin]['diff_list'][$role_id]['users'])) {
+                    if (!empty($_SESSION[$origin]['diff_list'][$role_id]['users'])) {
                         $nbDiffListUser = count($_SESSION[$origin]['diff_list'][$role_id]['users']);
                     } else {
                         $nbDiffListUser = 0;
                     }
-                    for ($i = 0, $l = $nbDiffListUser;
-                    $i < $l;
-                    ++$i
-                ) {
+                    for ($i = 0, $l = $nbDiffListUser; $i < $l; ++$i) {
                         $user = $_SESSION[$origin]['diff_list'][$role_id]['users'][$i];
 
                         if ($color == ' class="col"') {