diff --git a/src/proto/alpha/docs/language.md b/src/proto/alpha/docs/language.md
index 7216b6680..54d14b0d7 100644
--- a/src/proto/alpha/docs/language.md
+++ b/src/proto/alpha/docs/language.md
@@ -822,15 +822,15 @@ constants as is, concatenate them and use them as keys.
 
         > NONE ; C / v :: S   =>   C / None :: S
 
-   * `IF_SOME bt bf`:
+   * `IF_NONE bt bf`:
      Inspect an optional value.
 
         :: 'a? : 'S   ->   'b : 'S
-           iff   bt :: [ 'a : 'S -> 'b : 'S]
-                 bf :: [ 'S -> 'b : 'S]
+           iff   bt :: [ 'S -> 'b : 'S]
+                 bf :: [ 'a : 'S -> 'b : 'S]
 
-        > IF_SOME ; C / (Some a) : S    =>    bt ; C / a : S
-        > IF_SOME ; C / (None) : S   =>    bf ; C / S
+        > IF_NONE ; C / (None) : S   =>    bt ; C / S
+        > IF_NONE ; C / (Some a) : S    =>    bf ; C / a : S
 
 ### Operations on unions