diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index b1dded3dd..f3f8a6867 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -435,7 +435,7 @@ Control structures
 
 ::
 
-    :: (or 'a 'b) : 'A   ->   'A
+    :: (or 'a 'b) : 'A   ->  'b : 'A
        iff   body :: [ 'a : 'A -> (or 'a 'b) : 'A ]
 
     > LOOP_LEFT body / (Left a) : S  =>  body ; LOOP_LEFT body / a : S