diff --git a/doc/gmsh.html b/doc/gmsh.html
index bd433df6f5728e4467613dd57847a1e9936ca142..f67f81cdec9f4d0896e82c173fdbe8278e828a58 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -252,10 +252,9 @@ href="http://www.gnu.org/copyleft/gpl.html">GNU General Public License
 
 <p>
 In short, this means that everyone is free to use Gmsh and to
-redistribute it on a free basis. Gmsh is not in the public domain,
-though. It is copyrighted and there are restrictions on its
-distribution (see the <a
-href="http://www.gnu.org/copyleft/gpl.html">license</a> and the <a
+redistribute it on a free basis. Gmsh is not in the public domain; it
+is copyrighted and there are restrictions on its distribution (see the
+<a href="http://www.gnu.org/copyleft/gpl.html">license</a> and the <a
 href="http://www.gnu.org/copyleft/gpl-faq.html">FAQ</a>). For example,
 you cannot integrate this version of Gmsh (in full or in parts) in any
 closed-source software you plan to distribute (commercially or not).