make sure vector_insert updates sizes correctly