Fix typo in web page.