typos in web2xsd script, plus corresponding changes to XSDs