fixes in Trace_tstp, and one-step printing