Update htmltree.py