Fixed a bug that caused the settings.json to not be read.