Dave helped to fix broken display of code within the <pre><code><pre><code>