bug fix in setup script