Minor edits to trace files.