bugfix for saved preferences of wrong type