Bug fix: <?php not <?