fixed a map ordering bug in FramedVertexMap.