diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index af607d59a..fb24b9700 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -1667,7 +1667,7 @@ to increase clarity about illegal states.
 
 ::
 
-    > ASSERT_SOME  =>  IF_SOME {FAIL} {}
+    > ASSERT_SOME  =>  IF_NONE {FAIL} {}
 
 -  ``ASSERT_LEFT``: