fix HTML typo