Index: Demo/Ringtoets/src/Demo.Ringtoets/Commands/OpenPointedTreeGraphViewCommand.cs
===================================================================
diff -u -r8b20e259d5d28d37106ec402ac131f710680f009 -r942a8295ee5a7cd872048d3a2397049fc6531ebb
--- Demo/Ringtoets/src/Demo.Ringtoets/Commands/OpenPointedTreeGraphViewCommand.cs	(.../OpenPointedTreeGraphViewCommand.cs)	(revision 8b20e259d5d28d37106ec402ac131f710680f009)
+++ Demo/Ringtoets/src/Demo.Ringtoets/Commands/OpenPointedTreeGraphViewCommand.cs	(.../OpenPointedTreeGraphViewCommand.cs)	(revision 942a8295ee5a7cd872048d3a2397049fc6531ebb)
@@ -56,26 +56,26 @@
             var lastNodeStyle = new GraphNodeStyle(GraphNodeShape.Rectangle, Color.LightSkyBlue, Color.Black, 1);
             var treeNodeStyle = new GraphNodeStyle(GraphNodeShape.Rectangle, Color.LightGray, Color.Black, 1);
 
-            var doubleUsedNode = new GraphNode("Double <bold>used</bold>", new[]
+            var doubleUsedNode = new GraphNode("<text>Double <bold>used</bold></text>", new[]
             {
-                new GraphNode("En", new []
+                new GraphNode("<text>En</text>", new []
                 {
-                    new GraphNode("Child 2", new GraphNode[0], false, lastNodeStyle), 
-                    new GraphNode("Child 3", new GraphNode[0], false, lastNodeStyle), 
+                    new GraphNode("<text>Child 2</text>", new GraphNode[0], false, lastNodeStyle), 
+                    new GraphNode("<text>Child 3</text>", new GraphNode[0], false, lastNodeStyle), 
                 }, false, diamondStyle),
-                new GraphNode("Child 4", new GraphNode[0], false, lastNodeStyle), 
+                new GraphNode("<text>Child 4</text>", new GraphNode[0], false, lastNodeStyle), 
             }, false, treeNodeStyle);
 
-            var node = new GraphNode("Root", new[]
+            var node = new GraphNode("<text>Root</text>", new[]
             {
-                new GraphNode("Of", new[]
+                new GraphNode("<text>Of</text>", new[]
                 {
                     doubleUsedNode,
-                    new GraphNode("Child 1", new[]
+                    new GraphNode("<text>Child 1</text>", new[]
                     {
-                        new GraphNode("Of", new[]
+                        new GraphNode("<text>Of</text>", new[]
                         {
-                            new GraphNode("Child 5", new GraphNode[0], false, lastNodeStyle),
+                            new GraphNode("<text>Child 5</text>", new GraphNode[0], false, lastNodeStyle),
                             doubleUsedNode
                         }, false, diamondStyle),
                     }, false, treeNodeStyle)