Bugfix in release.py