Another print out tweak for bug #8425.