Minor addition to new Gmsh export