another minor bugfix to setup.py