diff --git a/docs/gambit/mutation-verifier.md b/docs/gambit/mutation-verifier.md
index 1d587b52..00c5b8b6 100644
--- a/docs/gambit/mutation-verifier.md
+++ b/docs/gambit/mutation-verifier.md
@@ -29,6 +29,9 @@ If you already have `certora-cli` installed and
 pip install --upgrade certora-cli
 ```
 
+```{note}
+If you are on Linux, you will need pip version 20.3 or above.
+```
 
 ## Running the Mutation Verifier
 
diff --git a/spelling_wordlist.txt b/spelling_wordlist.txt
index 190d9c3e..1953ec62 100644
--- a/spelling_wordlist.txt
+++ b/spelling_wordlist.txt
@@ -81,6 +81,7 @@ invariant
 invariants
 iterable
 Keccak
+Linux
 lifecycle
 logics
 macOS
@@ -159,4 +160,3 @@ verifier
 verifiers
 walkthrough
 whitespace
-prover_args
\ No newline at end of file