More changes to <pre>