Fixed the first type error in XOR.