fix a bug for <pre>