fix settings.json type