Bugfix in the preferences