Fixed WSDL array type