Fixed a typo in dump()