Fix bug in OrientGraph.getVertices #348