Bugfix in setup script