Fix error in _take_most_extensive_ec.