diff --git a/gdb-port/top-level-parse.py b/gdb-port/top-level-parse.py
index 854df8cd9144e167f8ed6ea095e738b2565cfe68..43431fc479d9203f37e2b15bba4506ebd41aa2d9 100644
--- a/gdb-port/top-level-parse.py
+++ b/gdb-port/top-level-parse.py
@@ -505,7 +505,8 @@ class TopLevelParse:
 		end = self.input_token_map[int(addr)]['end']
 		fragmentlen = end-start
 		inputfragment = (self.input_ptr+start).string('UTF-8','replace',fragmentlen)
-		encoded_inputfragment = inputfragment.replace("\n", "<0A>").replace("\r", "<0D>").replace(" ", "<20>").replace("\t", "<09>")
+		#encoded_inputfragment = inputfragment.replace("\n", "<0A>").replace("\r", "<0D>").replace(" ", "<20>").replace("\t", "<09>")
+		encoded_inputfragment = inputfragment.replace("\n", ".").replace("\r", ".").replace("\t", ".")
 		if rec_depth == 0:
 			print(encoded_inputfragment)
 			self.print_input_chunk(token, rows, start, start+min(w, end-start))