diff --git a/libraries/navigation/NavigationHeader.class.php b/libraries/navigation/NavigationHeader.class.php
index 96dd74286f..b1513d2c03 100644
--- a/libraries/navigation/NavigationHeader.class.php
+++ b/libraries/navigation/NavigationHeader.class.php
@@ -254,7 +254,8 @@ class PMA_NavigationHeader
     {
         $retval = '';
         if ($GLOBALS['cfg']['NavigationDisplayServers']
-            && count($GLOBALS['cfg']['Servers']) > 1) {
+            && count($GLOBALS['cfg']['Servers']) > 1
+        ) {
             include_once './libraries/select_server.lib.php';
             $retval .= '<!-- SERVER CHOICE START -->';
             $retval .= '<div id="serverChoice">';