tidy up setting.json to fix #24