Small fixes to bitvector