setup.py: a few minor edits