Quick fix of typo in html page.