Minor documentation fixups.

diff --git a/AUTHORS b/AUTHORS
index 921985a4b36c2b2bc8c4768005d958040a0c26eb..6198e25a7e9e299c83822d1b66f602590d540855 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -16,7 +16,7 @@ CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
 not directly incorporate code from any previous version.  Information about
 authors of previous CVC tools is included with their distributions.
 
-CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson
+CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
 
 The CVC4 parser incorporates some code from ANTLR3, by Jim Idle,
 Temporal Wave LLC.
@@ -31,4 +31,4 @@ Diego Elio Petteno.
 CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
 
 CVC4 maintainer versions contain the script autogen.sh, by the
-U.S. Army Research Laboratory
+U.S. Army Research Laboratory.