Fixed a tiny bug in setup.py.