Better docstrings in msg.h