Update docs.html

Minor fixes