Fixed a problem in setup.py?