Did the "<?php"..."?>" get inadvertently escaped?