funny we had that in the parser but not in the xsd :-)