Work on bug #8425.  Tweaked a print out.