dump.py fixes.