Fixed title of html docs.