Fixed a wrong RFC number in the comments of a message definition.