Fix a few setup.py boo-boos