Fix HTML typo.