Minor correctiontions in xsd