Prevent old users with string preferences from crashing

This happened because I was dumb enough to use the same preference name,
and it was trying to convert a string to integer.