fix random_weighted_element