diff --git a/source/declarations.tex b/source/declarations.tex
index 24b34f254c..020161723b 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -4486,7 +4486,7 @@
 \end{bnf}
 
 \begin{bnf}
-\nontermdef{precondition-specifier}
+\nontermdef{precondition-specifier}\br
   \terminal{pre} \opt{attribute-specifier-seq} \terminal{(} conditional-expression \terminal{)}
 \end{bnf}