diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index f904457..1fdf37b 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -33,7 +33,7 @@ This project uses [mypy](https://www.mypy-lang.org/) for type-checking.
 If your system has `make`, you can type-check the project with: `make`.
 Otherwise, you need to perform several setup steps:
  * create a virtual environment at "venv": `python -mvenv venv`
- * install dependencies in the virtual environment: `venv/bin/pip install -r requirements.txt mypy`
+ * install dependencies in the virtual environment: `venv/bin/pip install -r requirements.txt 'mypy!=1.7.0'`
 
 Then, type check with: `venv/bin/mypy`
 
diff --git a/Makefile b/Makefile
index 7a91c4a..823e97c 100644
--- a/Makefile
+++ b/Makefile
@@ -6,9 +6,10 @@
 mypy: venv/bin/mypy
 	venv/bin/mypy
 
+# Update CONTRIBUTING.md if these commands change
 venv/bin/mypy:
 	python -mvenv venv
-	venv/bin/pip install -r requirements.txt mypy
+	venv/bin/pip install -r requirements.txt 'mypy!=1.7.0'
 
 .PHONY: clean
 clean: