add_html_to_string: Also restore the '\0' terminator.