Using a static menu since github's generator messes the generated one up