diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl
index c75dfcd05..3ebdb858e 100755
--- a/contrib/dump-asy.pl
+++ b/contrib/dump-asy.pl
@@ -40,7 +40,7 @@ sub dump_node {
     if (!defined($n->{window})) {
         $type = $n->{orientation} . '-split';
     }
-    my $name = qq|\\"$na\\" ($type)|;
+    my $name = qq|``$na'' ($type)|;
 
     print $tmp "TreeNode n" . $n->{id} . " = makeNode(";