Fixing bug in html_txt