Fix a typo on the Documentation web page.