Minor fixes to XOR checkers