Bugfix: setup.py was broken.