fix one missing </pre>