fix typo in docs.html