Fix typo in settings.json