Fix a type in setup.py