Correct a bug in setup.py.