full stop

diff --git a/article.tex b/article.tex
index 840627459348792bba4c3fbecec830dedb74d743..183744fb3acc1b2c6cc36efa9508ce67e3b8b346 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -71,7 +71,7 @@ transitive.
 A patch $\p$ consists of two sets of commits $\pn$ and $\py$, which
 are respectively the base and tip git branches.  $\p$ may be used
 where the context requires a set, in which case the statement
-is to be taken as applying to both $\py$ and $\pn$
+is to be taken as applying to both $\py$ and $\pn$.
 All these sets are distinct.
 
 \end{basedescript}