A minor comment in Tree.py