Fix bug in message type header file