diff --git a/docs/conf.py b/docs/conf.py
index 2ea7779fc..4d83ab3fd 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -21,9 +21,9 @@ from pygments.lexer import RegexLexer, bygroups  # type: ignore
 from pygments.token import (  # type: ignore
     Comment, Keyword, Literal, Name, Number, String, Whitespace
 )
-from sphinx import addnodes, version_info  # type: ignore
-from sphinx.builders.html.transforms import KeyboardTransform  # type: ignore
-from sphinx.util.logging import getLogger  # type: ignore
+from sphinx import addnodes, version_info
+from sphinx.builders.html.transforms import KeyboardTransform
+from sphinx.util.logging import getLogger
 
 KeyboardTransform.builders = ('html', 'dirhtml')  # type: ignore
 
diff --git a/kitty_tests/__init__.py b/kitty_tests/__init__.py
index cc4ad8d18..2caf0cd56 100644
--- a/kitty_tests/__init__.py
+++ b/kitty_tests/__init__.py
@@ -4,13 +4,12 @@
 import os
 from unittest import TestCase
 
-from kitty.config import (
-    Options, defaults, finalize_keys, finalize_mouse_mappings
-)
+from kitty.config import finalize_keys, finalize_mouse_mappings
 from kitty.fast_data_types import (
     Cursor, HistoryBuf, LineBuf, Screen, set_options
 )
 from kitty.options.parse import merge_result_dicts
+from kitty.options.types import Options, defaults
 from kitty.types import MouseEvent
 
 
diff --git a/setup.cfg b/setup.cfg
index d1b23cf7a..18a5a80d7 100644
--- a/setup.cfg
+++ b/setup.cfg
@@ -30,8 +30,3 @@ disallow_untyped_calls = True
 disallow_incomplete_defs = True
 strict = True
 no_implicit_reexport = True
-
-[mypy-conf]
-# ignored because on the CI server sphinx type stubs are available somehow, but
-# not on my dev machine
-warn_unused_ignores = False