Another bug fix for HTML.