Fixed bug in the setup script