Fix introduction
Fix style for <pre>