correction on <pre> tag rendering