version.py: Fixes wrong version from merge.