XSD formatting