fixing dumping bug (was dumping at wrong depth in arity 1 case)