modified <pre></pre> processing...