to_html should not modify the given string (fix #3)