Fix a bug in get_text_from_html.