fixed errors in make-html.py