diff --git a/docs/manual/cover.html b/docs/manual/cover.html
index 72b3e93f6..957fb86e9 100644
--- a/docs/manual/cover.html
+++ b/docs/manual/cover.html
@@ -16,7 +16,7 @@
     version then this is not the correct manual set. Please use the documentation 
     appropriate to your current version. Also, if you are using a version
     older than the most recent release, we recommend an upgrade to fix bugs
-    as well as provide new functionality </p>
+    as well as provide new functionality. </p>
   <p>&nbsp;</p>
 </div>
 <hr>