Added text for FingerTrees