minor changes to fix compilation of Vertex.cpp