fix a bug in setup script