Fix broken genXor in bug-460444