fixed bitvector bug
fixed bitvector bug