small fix in setup.py