Fix a bug where the preference menu would not show up.