A tweak for bug #8205.  Fixed the output.