small xsd fix