The </pre> tag should be written to the stream