fix crash when opening preferences

14 months ago, Markus Fischer