Ooops, small bug in 4-xor conversion