deployment.php: typo - bad indent