Fixing a bug in html_txt