diff --git a/src/proto_alpha/lib_protocol/coq-of-ocaml/README.md b/src/proto_alpha/lib_protocol/coq-of-ocaml/README.md
index 893cce94c04ad695312978422717a55ee9064277..f0036182cc8ffa16c2d29556b40e9615bbac90f9 100644
--- a/src/proto_alpha/lib_protocol/coq-of-ocaml/README.md
+++ b/src/proto_alpha/lib_protocol/coq-of-ocaml/README.md
@@ -1,6 +1,9 @@
 # coq-of-ocaml
+In this folder we put the files relevant to the compilation of the protocol to
+Coq using [coq-of-ocaml](https://clarus.github.io/coq-of-ocaml/). You can get
+the documentation on the website of the tool. For support, you can contact
+Guillaume Claret at `dev@clarus.me`.
 
-In this folder we put the files relevant to the compilation of the protocol to Coq using [coq-of-ocaml](https://clarus.github.io/coq-of-ocaml/). For support, you can contact Guillaume Claret at `dev@clarus.me`.
-
-* `config.json` This file describes the configuration parameters for coq-of-ocaml in the CI. For more information, see the [documentation](https://clarus.github.io/coq-of-ocaml/docs/configuration).
-
+* `config.json` This file describes the configuration parameters for
+  coq-of-ocaml in the CI. For more information, see the
+  [documentation](https://clarus.github.io/coq-of-ocaml/docs/configuration).
diff --git a/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json b/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json
index 6fa0f29dc5b6edc3bd3a6003ef5b9d646e63f81f..d2d2978755d18fae883ec751a742fb62cbf32be7 100644
--- a/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json
+++ b/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json
@@ -76,7 +76,7 @@
     "Tezos_raw_protocol_alpha"
   ],
   "head_suffix": "Import Environment.Notations.\n",
-  "monadic_operators": [
+  "monadic_lets": [
     ["Error_monad.op_gtgteq", "let="],
     ["Error_monad.op_gtgteqquestion", "let=?"],
     ["Error_monad.op_gtgtquestion", "let?"]