Formatting fixes on challenge1.php