small fixes to setup.py