Update dump.php

At some points, the code was hard to understand.