Some changes in BitVector