Further minor change to printmicortraces args.