Fixing the 80 character per line issue.
Merge pull request #832 from kframework/fixMessage

Fixing the 80 character per line issue.