Removed the double-HTML tag that was lurking around.