diff --git a/manual/index.html b/manual/index.html
index a285ba23b8..4e0bac6cc3 100644
--- a/manual/index.html
+++ b/manual/index.html
@@ -5821,7 +5821,7 @@ <h3>
               <a href="#alternative-operator" class="icon-link" aria-label="Link to this section: Alternative operator: `//`"><span class="bi bi-link-45deg" aria-hidden="true"></span></a>
             </h3>
             <p>The <code>//</code> operator produces all the values of its left-hand
-side that are neither <code>false</code> nor <code>null</code>, or, if the
+side that are neither <code>false</code> nor <code>null</code>. If the
 left-hand side produces no values other than <code>false</code> or
 <code>null</code>, then <code>//</code> produces all the values of its right-hand
 side.</p>