bug fix in html export