Fix stupid dump.sh typo.