make the ^^xsd:cruft go away