diff --git a/eduvpn/app.py b/eduvpn/app.py
index 973557b0..0d5b722e 100644
--- a/eduvpn/app.py
+++ b/eduvpn/app.py
@@ -8,7 +8,7 @@
 
 from eduvpn_common.main import EduVPN, ServerType, WrappedError
 from eduvpn_common.state import State, StateType
-from eduvpn_common.types import ProxyReady, ProxySetup, ReadRxBytes, RefreshList
+from eduvpn_common.types import ProxyReady, ProxySetup, ReadRxBytes, RefreshList  # type: ignore[attr-defined]
 
 from eduvpn import nm
 from eduvpn.config import Configuration