diff --git a/.pylintrc b/.pylintrc
index b09fff9e..57cdbc17 100644
--- a/.pylintrc
+++ b/.pylintrc
@@ -171,6 +171,7 @@ disable=blacklisted-name,
         too-many-lines,
         too-many-locals,
         too-many-nested-blocks,
+        too-many-positional-arguments,
         too-many-public-methods,
         too-many-return-statements,
         too-many-statements,
diff --git a/python/xmlInterface.py b/python/xmlInterface.py
index f85a7c12..4457535d 100644
--- a/python/xmlInterface.py
+++ b/python/xmlInterface.py
@@ -798,9 +798,9 @@ def __init__(
                 "goal": self._to_goal,
                 "goals": self._to_goals,
                 "evar": self._to_evar,
-                "option_value": self._to_option_value,  # type: ignore
+                "option_value": self._to_option_value,
                 "option_state": self._to_option_state,
-                "status": self._to_status,  # type: ignore
+                "status": self._to_status,
                 "coq_info": self._to_coq_info,
                 "message": self._to_message,
                 "feedback": self._to_feedback,
@@ -1156,10 +1156,10 @@ def __init__(
                 "goal": self._to_goal,
                 "goals": self._to_goals,
                 "evar": self._to_evar,
-                "option_value": self._to_option_value,  # type: ignore
+                "option_value": self._to_option_value,
                 "option_state": self._to_option_state,
                 "state_id": self._to_state_id,
-                "status": self._to_status,  # type: ignore
+                "status": self._to_status,
                 "coq_info": self._to_coq_info,
                 "message": self._to_message,
                 "feedback": self._to_feedback,