Fixed a bug in the trace file.