fix prove tracer