fix a couple of issues derived from new ArraySequence
turns out we don't even needs this code