diff --git a/spectec/README.md b/spectec/README.md
index bf88b51f0c..4ecee1f43e 100644
--- a/spectec/README.md
+++ b/spectec/README.md
@@ -107,9 +107,9 @@ You will need `ocaml` installed with `dune`, `menhir`, `mdx`, and the `zarith` l
   $ opam init
   ```
 
-* Set `ocaml` as version 5.1.0 or higher.
+* Set `ocaml` as version 5.4.0 or higher.
   ```
-  $ opam switch create 5.1.0
+  $ opam switch create 5.4.0
   ```
   
 * Install `dune` version 3.11.0, `menhir` version 20230608, `mdx` version 2.3.1, and `zarith` version 1.13, via `opam`