Fixing version encoding