Fixed a few errors in the output of the instruction tracer.