minnor change in dump.py