Made highest_ancestor better