Minor modifications in setup.py