Update Violation to contain both the fixed and original message

Fix missing ';' in Violation