Small brush-up of new dump command, and fix output quirk.

Trivial patch, just saw some ickiness in this file when I turned on the machine today ;).