Fix dump.py -f.