Update htmldom.py