fixup! Introduced debug-dump-reduction for great good