revert setup.php, bug fix