Correct the setup script