Applied patch from #9127 to fix lazy_add_vertex; fixes #9127

[SVN r86515]