minor adjustments to setup.py