Fix an HTML typo