Fixed a typo.
Html documentation.