Some formatting changes to menu.json.