Removed useless main, corrections to the insertion of vertices