html docs: fixed typo