javadoc for main menu, minor style edits