Possible bug in htmltools.py