Fixed crash related to menu options.

Some minor gui fixes.