Fixing a typo in txt_html