Fix minor issue in docs/ref/messages [skip ci]