a few bits of DistThreshold cleanup