[#3567] Code generator error message refers to wrong XSD