XSD is annoying