Correct error in TraceCheck proof example