extraneous <?php