Minor correction in xsd (2)