Clean up output of dump.py.