fix an error in setup.py