- Fix bug #28 on string escaping for violations.