Added a useful extension of Vertex