diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index 25327a3e4f0be4b7c2c69af1e4a464f577e6d32b..19cf818c010ea377d1d1fda893ec1713ecc4cef8 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -1073,9 +1073,9 @@ Operations on optional values
 
 ::
 
-    :: option 'a : 'S   ->   'b : 'S
-       iff   bt :: [ 'S -> 'b : 'S]
-             bf :: [ 'a : 'S -> 'b : 'S]
+    :: option 'a : 'A   ->   'B
+       iff   bt :: [ 'A -> 'B]
+             bf :: [ 'a : 'A -> 'B]
 
     > IF_NONE bt bf / (None) : S  =>  bt / S
     > IF_NONE bt bf / (Some a) : S  =>  bf / a : S
@@ -1103,9 +1103,9 @@ Operations on unions
 
 ::
 
-    :: or 'a 'b : 'S   ->   'c : 'S
-       iff   bt :: [ 'a : 'S -> 'c : 'S]
-             bf :: [ 'b : 'S -> 'c : 'S]
+    :: or 'a 'b : 'A   ->   'B
+       iff   bt :: [ 'a : 'A -> 'B]
+             bf :: [ 'b : 'A -> 'B]
 
     > IF_LEFT bt bf / (Left a) : S  =>  bt / a : S
     > IF_LEFT bt bf / (Right b) : S  =>  bf / b : S
@@ -1114,9 +1114,9 @@ Operations on unions
 
 ::
 
-    :: or 'a 'b : 'S   ->   'c : 'S
-       iff   bt :: [ 'b : 'S -> 'c : 'S]
-             bf :: [ 'a : 'S -> 'c : 'S]
+    :: or 'a 'b : 'A   ->   'B
+       iff   bt :: [ 'b : 'A -> 'B]
+             bf :: [ 'a : 'A -> 'B]
 
     > IF_RIGHT bt bf / (Right b) : S  =>  bt / b : S
     > IF_RIGHT bt bf / (Left a) : S  =>  bf / a : S
@@ -1144,9 +1144,9 @@ Operations on lists
 
 ::
 
-    :: list 'a : 'S   ->   'b : 'S
-       iff   bt :: [ 'a : list 'a : 'S -> 'b : 'S]
-             bf :: [ 'S -> 'b : 'S]
+    :: list 'a : 'A   ->   'B
+       iff   bt :: [ 'a : list 'a : 'A -> 'B]
+             bf :: [ 'A -> 'B]
 
     > IF_CONS bt bf / { a ; <rest> } : S  =>  bt / a : { <rest> } : S
     > IF_CONS bt bf / {} : S  =>  bf / S
@@ -1730,9 +1730,9 @@ A typing rule can be inferred:
 
 ::
 
-    :: option 'a : 'S   ->   'b : 'S
-       iff   bt :: [ 'a : 'S -> 'b : 'S]
-             bf :: [ 'S -> 'b : 'S]
+    :: option 'a : 'A   ->   'B
+       iff   bt :: [ 'a : 'A -> 'B]
+             bf :: [ 'A -> 'B]
 
     > IF_SOME / (Some a) : S  =>  bt / a : S
     > IF_SOME / (None) : S  =>  bf / S