Fixed an error in the setup script