Fix stray HTML tag.