Fix WSDL generation