Fix formatting bug in menu.php