Update docs.html

fix typo