Fix a bug around versioning