diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 26c2f617b..bb169a05e 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -7,7 +7,7 @@ Module Name:
 
 Abstract:
 
-    Nonlinear arithmetic satisfiability procedure.  The procedure is
+    Nonlinear arithmetic satisfiability procedure. The procedure is
     complete for nonlinear real arithmetic, but it also has limited
     support for integers.