Nicer output for trace-reader.