adding formatted wsdl.html