There was a problem with our syntax highlighter, so I upgraded to the latest version and it looks like things are fixed.