I think the code looks correct. The default prefs are only used if there are no other prefs, so I guess existing users will have to delete prefs to get the defaults.