Dumper: update the switch in dump()