diff --git a/gdb-port/ast.py b/gdb-port/ast.py
index 8c72448cb1db0f1815e85dfc1c12ec62b35c99ae..ea2ab1c11f826257b5e00c56ec93a58c20aae905 100644
--- a/gdb-port/ast.py
+++ b/gdb-port/ast.py
@@ -145,7 +145,7 @@ class HParsedToken:
 	# TODO: this is probably fine for already-parsed input, but needs more thought
 	def __str__(self):
 		if self.children:
-			return "{{ {0}, {1} }}".format(self.token_type, [str(child) for child in self.children])
+			return "{{ {0}, {1} }}".format(self.token_type, ", ".join([str(child) for child in self.children]))
 		else:
 			return "{{ {0}, {1} }}".format(self.token_type, self.data)