added options to main::menu()