Correct bug in Settings.cs