Make sure to run html_encode/2 through html_encode/2