Per what Ar0n said further on, <code> tags are better because the PM engine parses them differently than <pre> tags and gives the site more functionality, like the download code link.

You were right to point out the gaffe.