issue #1733, fix a typo in dumping usage.