more use of xsd extension