fix typos in Trace() output