Bugfix at setup.py