Minor bug fix in XOR