diff --git a/docs/guides/validate.rst b/docs/guides/validate.rst
index df7c39a3..49a9d361 100644
--- a/docs/guides/validate.rst
+++ b/docs/guides/validate.rst
@@ -13,20 +13,18 @@ Packages :py:mod:`navground.core` and  :py:mod:`navground.sim` have type hints.
 
 To check the packages themselves, you can run
 
-.. command-output:: mypy -p navground.core --namespace-packages --ignore-missing-imports 
+.. command-output:: mypy -p navground.core --strict
 
 and
 
-.. command-output:: mypy -p navground.sim --namespace-packages --ignore-missing-imports 
+.. command-output:: mypy -p navground.core --strict
 
 
-.. note:: ``--ignore-missing-imports`` silences errors from third party packages missing type hints.
-
 To check your package, you can run
 
 .. code-block:: console 
 
-   $ mypy <path> --ignore-missing-imports 
+   $ mypy <path>
    
 
 YAML
diff --git a/navground_sim_py/navground/sim/__init__.py b/navground_sim_py/navground/sim/__init__.py
index 6355ebbe..2e75c215 100644
--- a/navground_sim_py/navground/sim/__init__.py
+++ b/navground_sim_py/navground/sim/__init__.py
@@ -221,7 +221,7 @@ def bar_update(run: ExperimentalRun) -> None:
 
 
 Experiment.setup_tqdm = setup_tqdm  # type: ignore[method-assign]
-Experiment.run_mp = run_mp  # type: ignore[assignment]
+Experiment.run_mp = run_mp  # type: ignore[method-assign]
 
 # isort: stop
 from .recorded_experiment import RecordedExperiment, RecordedExperimentalRun  # noqa: E402