A little more reformatting on Deploy.php