CHANGED:rename yet another BitVector to BitVectors to avoid name
ambiguous;