#10 fix for xsd:extension