Missing empty line after `<?php`