publishing WSRM procedures results in an invalid /services.wsdl

[chile12]

(using Virtuoso 7.0.0 64-bit (x86_64) prebuild version)

Hello,

when publishing thr procedures:

WSRMSequence
WSRMSequenceTerminate
WSRMAckRequested

as shown in the example here: http://docs.openlinksw.com/virtuoso/warm.html#17.7.4. WS-RM Protocol Endpoint Configuration

create user WSRMR;
grant execute on WSRMSequence to WSRMR;
grant execute on WSRMSequenceTerminate to WSRMR;
grant execute on WSRMAckRequested to WSRMR;
vhost_define (lpath=>'/wsrm', ppath=>'/SOAP/', soap_user=>'WSRMR');

the resulting endpoint wsdl becomes an invalid xml.

XML spy:
File http://localhost:8890/EventFrameworkProcedures/services.wsdl is not valid.
attribute 'element' in message part 'parameters' (message 'WSRMAckRequestedResponse') refers to element 'dl:WSRMAckRequestedResponse' which is not defined within the WSDL file!
Error location: definitions / message / part / @element
Details

Greetings