modify BitVector