Update MESSAGESPECIFICATIONS.md