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