Minor touchups in setup.py