Corrections to html_render.py