minor problems in removeAllVertices()