Minor fix in setup.py.