diff --git a/source/declarations.tex b/source/declarations.tex
index dfeabc6c95..4a0164f462 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -4788,7 +4788,8 @@
 
 void f() pre (b1) pre ([]{ return b2; }());
 void f();                       // OK, \grammarterm{function-contract-specifier}s omitted
-void f() pre (b1) pre ([]{ return b2; }()); // ill-formed, no diagnostic required: closures have different types
+void f() pre (b1) pre ([]{ return b2; }()); // ill-formed, no diagnostic required: closures have
+                                            // different types
 void f() pre (b1);              // error: \grammarterm{function-contract-specifier}s only partially repeated
 
 int g() post(r : b1);