corrected trace-lambda