bug fix for HTML