bugfix in setup.py