Update out2html.py