diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index aa7c782c3f2..0ed35d99e91 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -3034,7 +3034,7 @@ ninja install
-
+
Enables assertion checks in the server, which
@@ -3075,7 +3075,7 @@ ninja install
-
+
If using GCC, all programs and libraries are compiled with