Fix version encoding