bug fix in html charset