Bugfix in violation message