Minor documentation addition to public_messages.h.