Using verbatim to render the HTML