FIxing a bit the preferences for the theme system