Fix a small message formatting issue