BitVector is a raw type here, isn't it?