Made one tiny tweek to the run_html_renderer.py script, so commiting that as well