Small fix for new preferences.ini files