Fixed a bug in the TracePrinter