Update dump.py.