HTML-escaping bug.