Ensure space after opening <?php tags. Fixes #2