Correction in TraceExpander