updated according to changes in libs/MessagingStub.js