Edit File: doctree.py