Fixed help string in tohtml.py