diff --git a/navigation.php b/navigation.php
index 69bee0447a..0c1a135eb7 100644
--- a/navigation.php
+++ b/navigation.php
@@ -197,7 +197,7 @@ if (! $GLOBALS['server']) {
     <form method="post" action="index.php" target="_parent" id="left">
     <?php
         echo PMA_generate_common_hidden_inputs() . "\n";
-        echo $GLOBALS['pma']->databases->getHtmlSelectGrouped(true, $_SESSION['tmp_user_values']['navi_limit_offset'], $GLOBALS['cfg']['MaxDbList']) . "\n";
+        echo $GLOBALS['pma']->databases->getHtmlSelectGrouped(true, $_SESSION['tmp_user_values']['navi_limit_offset'], $GLOBALS['cfg']['MaxDbList']) . "\n"
             .'</form>' . "\n"
             . '</div>' . "\n";
     } else {