Fix a couple of typos in the new `update_html_docs.sh` shell script