Replaced a few <? with <?php