adding missing <?php