Tiny issue with the setup.py script