Fixing setup.php