fixed bug in ArrayVector::insert()