Minor changes in setup.py