diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index 838f331ba..161ead2c0 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -1988,7 +1988,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
       String less = "\\"+"<";
       restString = replaceSubstring(restString,more,"> ");
       restString = replaceSubstring(restString,less," <");
-      restString= replaceSubstring(restString,"\b\b","\b");
+      restString= replaceSubstring(restString,"\\\\"," \\");
       if (debug4) 
         System.out.println(restString);
       output.append(restString.replaceAll("&-","\n "));