Why set sequence to null in the case that it is 0xffffffff? Shouldn't it be set to 0xffffffff in that case?