Added debugging dump() functionality