fix <?php bug