diff --git a/gdb-port/parser-type-instrumentation-gdb.py b/gdb-port/parser-type-instrumentation-gdb.py
index 7355c8342edb236bd1a05802742dc789ce303353..eb69048d7f20232d97adb4067113fbd08b6a1e46 100644
--- a/gdb-port/parser-type-instrumentation-gdb.py
+++ b/gdb-port/parser-type-instrumentation-gdb.py
@@ -481,7 +481,7 @@ class ManyEnv(HParserEnv):
 		parser_env = parser_val['env'].cast(hrepeat_p_t).dereference()
 
 		#self.count = gdb.parse_and_eval("((HRepeat *) parser->env)->count")
-		self.count = parser_env['count']
+		self.count = parser_env['count'] # Always 0, so maybe it should be removed
 		# TODO: check for NULL in add_or_get_parser()
 		#separator_p = parser_env['sep'] # With h_many(), this will be NULL
 		#self.p = gdb.parse_and_eval("((HRepeat *) parser->env)->p")
@@ -492,7 +492,7 @@ class ManyEnv(HParserEnv):
 		self.p = p_obj
 
 	def __str__(self):
-		return "P: " + str(self.p) + ", sep: " + str(self.separator) + ", count: " + str(self.count)
+		return "P: " + str(self.p) + ", count: " + str(self.count)
 
 class NotEnv(HParserEnv):
 	def __init__(self, parser, top_level_parse):