setup.py: bug fix