Bug fix in setup script.