Minor tweak for <pre>