updating name in html docs