fixed a simple bug in setup.py