Fix php snippet <pre>