Fix mistaken use of xor in "2^31 - 1".