A small tweak to the output for bug #8355.