Fix a bug in the setup script