Making violation messages more precise