renaming vertices in graph on tutorial