Fix editing of `settings.json`