add missing <?php