Fix typo in HTML.