fix bug in the setup script