Replace <code> by <pre>