Removed some remaining empty 'void Menu::check_menu()' calls