Updating: minorly improving DISTRIB