proper xsd