Update bitvector.h