Settings.xsd: xml markup was broken