fixing distriman test. although the 086 still fails (bug)