Fix comments at beginning of messages.js