minor distcleaning fix