A small constructor refactoring in the messages plus documentation for
messages.