More very minor changes to the menu. This needs doing soon, rather than just adding small changes.