fix typo in docs.html

sorry for wrong PR.