fix a versioning bug