fix TLE to Violation bug