Thanks for the clarification, Raymond.

I've spent a few minutes searching for uses of dump(), and have only come up with uses for debugging or printing helpful info in command line tools.  So, it seems that changing this as suggested wouldn't break much existing code, since I couldn't easily find even one such example.