CR change: small change in messages docs