Fix the version number in setup.py.