Proper <?php tags and some formatting.