Minor fix in Trace.ih