fix enumerable api of Vector