Remove duplicate violations

They can indeed occur.