Output formatting bugs in mtrace.cpp