add more detail to dump() output