Improve `dump`

but won'tthe inserter edition work!