Fixes to introduction
Separate imports from Vertex