minor updates in readhtml.py