We don't really need it here because `MPS` only send()s messages. But I guess it doesn't hurt.