diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index b78f36522..d2061e101 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -150,11 +150,11 @@ xcode-select --install
 
 ### Z3 installation
 
-The `openshell-prover` crate links against the system Z3 library via pkg-config.
+The `openshell-prover` crate links against the system Z3 library via `pkg-config`.
 
 ```bash
 # macOS
-brew install z3
+brew install z3 pkg-config
 
 # Ubuntu / Debian
 sudo apt install libz3-dev