Double ampersands operator is being encoded in PHP syntax highlighter

[stevenkword]

For example:

<?php
if( 1 == 1 && 'foo' != 'bar' )
    die( 'My ampersands are wack' );
?>

Results in the following on the main page preview:

<?php
if( 1 == 1 &#038;& 'foo' != 'bar' )
    die( 'My ampersands are wack' );
?>