make Dump() ctor signature more explicit