add some related dump() methods