Minor formatting tweak for specs using receive_messages
Minor formatting tweak for specs using receive_messages