Fix problem in setup.py.