Clearing the PHP WSDL cache (/tmp/wsdl* by default) worked for us! Thanks!