bugfix in bitvector