Update BitVector.h