first editing done for trace.tex