Fix inconsistency between wsi.xml and wsdl.xml