fixed bug in (eq. 6): dist_after_vote_helper()