Make sure the options menu is visible again (related to #66)