fix a typo in the web page.