minor fix to make-html.py