Don't print extra lines with dump.py -s.