changed two instances of '<?' to '<?php'