Fixed filename error in Settings, which caused default settings to not l...

@jngrt Could you QA?