diff --git a/tetras_extraction/script/pyrightconfig.json b/tetras_extraction/script/pyrightconfig.json
index 5f26bcacd410c0a839a66723813248d458722e6d..c598256a2e2947143417d3f0de95f656c9a0e6bd 100644
--- a/tetras_extraction/script/pyrightconfig.json
+++ b/tetras_extraction/script/pyrightconfig.json
@@ -10,5 +10,8 @@
     "reportUnknownArgumentType": "none",
     "reportUnknownVariableType": "none",
     "reportUnknownMemberType": "none",
-    "reportAny": "none"
+    "reportAny": "none",
+    "ignore": [
+        "src/export_corese.py"
+    ]
 }
\ No newline at end of file
diff --git a/tetras_extraction/script/src/export_corese.py b/tetras_extraction/script/src/export_corese.py
index b5302baa1a800953144af46f42abefe18dfc0f99..01d718b0a81806452ba191b50ed153d7c136996a 100644
--- a/tetras_extraction/script/src/export_corese.py
+++ b/tetras_extraction/script/src/export_corese.py
@@ -1,6 +1,7 @@
 # type: ignore
 # This module isolates calls to Corese via the py4j interface,
 # because py4j has no stubs and pretty much breaks type checkers.
+# This is also declared in pyrightconfig.json
 
 import atexit
 import subprocess
@@ -36,8 +37,6 @@ def apply_templates() -> str:
     Graph = gateway.jvm.fr.inria.corese.core.Graph
     Load = gateway.jvm.fr.inria.corese.core.load.Load
     Property = gateway.jvm.fr.inria.corese.core.util.Property
-    QueryProcess = gateway.jvm.fr.inria.corese.core.query.QueryProcess
-    RDF = gateway.jvm.fr.inria.corese.core.logic.RDF
     Transformer = gateway.jvm.fr.inria.corese.core.transform.Transformer
 
     # ==> Create graph, load ontology