Oops, swapped <code> for <pre>