diff --git a/docs/docs/language/function-contracts.md b/docs/docs/language/function-contracts.md
index 86a2b4c2..6938eb4a 100644
--- a/docs/docs/language/function-contracts.md
+++ b/docs/docs/language/function-contracts.md
@@ -332,7 +332,8 @@ or not.
 ```ocaml invalidSyntax
 val run : unit -> unit
 (*@ run ()
-    diverges *)
+    diverges
+    (* ... *) *)
 ```
 
 ## Data Mutability