diff --git a/coqpyt/coq/context.py b/coqpyt/coq/context.py
index 7fda3e9..3c6e181 100644
--- a/coqpyt/coq/context.py
+++ b/coqpyt/coq/context.py
@@ -326,7 +326,7 @@ def handle_arg_type(args, ids):
                     return ids[0][1][1]
                 elif args[1] == "ident":
                     return ids[1]
-            elif args[0] == "ListArg":
+            elif args[0] == "ListArg" and len(ids) > 0:
                 # FIXME: This recursive case works when the list is of length 1,
                 # but it should be generalized to handle any length.
                 return handle_arg_type(args[1], ids[0])