Update dumpinfo.py