Change <? to <?php to work on dennis' machine