Factored out Optional when reading Settings.