fix docs.html