some minor fixes and replace a <? with <?php