diff --git a/libraries/common.lib.php b/libraries/common.lib.php
index a5b5aff4b..45154f4a5 100644
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -2362,7 +2362,7 @@ if (typeof(window.parent) != 'undefined'
             echo '<input type="image" name="' . $image_name . '" value="'
                 . $text . '" title="' . $text . '" src="' . $GLOBALS['pmaThemeImage']
                 . $image . '" />'
-                . ($GLOBALS['cfg']['PropertiesIconic'] == 'both' ? '&nbsp;' . $text : '') . "\n";
+                . ($GLOBALS['cfg']['PropertiesIconic'] === 'both' ? '&nbsp;' . $text : '') . "\n";
         }
     } // end function