diff --git a/libraries/header.inc.php b/libraries/header.inc.php
index 151b9c3d40..ab62b4d96d 100644
--- a/libraries/header.inc.php
+++ b/libraries/header.inc.php
@@ -116,7 +116,8 @@ if (isset($GLOBALS['is_ajax_request']) && !$GLOBALS['is_ajax_request']) {
          * Display heading if needed. Design can be set in css file.
          */
         if (PMA_DISPLAY_HEADING && $GLOBALS['server'] > 0) {
-            new PMA_Menu($GLOBALS['server'], $GLOBALS['db'], $GLOBALS['table']);
+            $menu = new PMA_Menu($GLOBALS['server'], $GLOBALS['db'], $GLOBALS['table']);
+            $menu->display();
         }
     }