fixed a typo in html doc