diff --git a/gdb-port/parser-type-instrumentation-gdb.py b/gdb-port/parser-type-instrumentation-gdb.py
index 5d3c7b7e9d76e9470a27f935f586687336da18e2..7355c8342edb236bd1a05802742dc789ce303353 100644
--- a/gdb-port/parser-type-instrumentation-gdb.py
+++ b/gdb-port/parser-type-instrumentation-gdb.py
@@ -482,6 +482,7 @@ class ManyEnv(HParserEnv):
 
 		#self.count = gdb.parse_and_eval("((HRepeat *) parser->env)->count")
 		self.count = parser_env['count']
+		# 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")
 		p_ptr = parser_env['p']