Minor changes to navigation and formatting