fixing a small bug in the version setter