Fix dump.py.