Fix get_highest_ranking which returned in fact the lowest.