add pre tag to html_filter function