fix bad encoding on defaults.json