Fix typo in docs.html