Minor fix in 4bit_xor layout