Fixed some bugs in WithVertexList[] for maps.