fix a leak in vector::insert