one more

tutorials/beginners/introduction.html

@@ -102,8 +102,7 @@
 problems are suitable for SMT solvers, describe the capabilities of modern
 solvers, and provide guidance on how to encode problems as SMT queries.</p>
 <p>Throughout the tutorial, we provide examples and exercises to illustrate the
-concepts being explained. Unless otherwise stated, the exercises can be com-
-pleted using either the cvc5 <a class="reference internal" href="references.html#r3" id="id5"><span>[R3]</span></a> or the z3 SMT solver <a class="reference internal" href="references.html#r32" id="id6"><span>[R32]</span></a>, through either
+concepts being explained. Unless otherwise stated, the exercises can be completed using either the cvc5 <a class="reference internal" href="references.html#r3" id="id5"><span>[R3]</span></a> or the z3 SMT solver <a class="reference internal" href="references.html#r32" id="id6"><span>[R32]</span></a>, through either
 their Python interface or their textual interface based on the SMT-LIB 2 format
 <a class="reference internal" href="references.html#r8" id="id7"><span>[R8]</span></a>. The cvc5 website at <a class="reference external" href="http://cvc5.github.io">cvc5.github.io</a> contains
 documentation that can be used as a reference to supplement the material in