Formatting for menus.php. #9