diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index bbe7a8b91..af607d59a 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -804,6 +804,8 @@ is, concatenate or splice them, and use them as keys.
 
 -  ``SLICE``: String access.
 
+::
+
     :: nat : nat : string : 'S   ->  option string : 'S
 
     > SLICE / offset : length : s : S  =>  Some ss : S