Fixed minor bug in versioning