From 751b7041050b7b19bf3001633740616089973ab3 Mon Sep 17 00:00:00 2001
From: Robert Haas <rhaas@postgresql.org>
Date: Thu, 14 Aug 2014 15:19:43 -0400
Subject: [PATCH] docs: Add missing period.

Fabien COELHO and Robert Haas
---
 doc/src/sgml/pgbench.sgml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/src/sgml/pgbench.sgml b/doc/src/sgml/pgbench.sgml
index 155168662b..23bfa9ed85 100644
--- a/doc/src/sgml/pgbench.sgml
+++ b/doc/src/sgml/pgbench.sgml
@@ -781,8 +781,7 @@ pgbench <optional> <replaceable>options</> </optional> <replaceable>dbname</>
       <literal>
         (PHI(2.0 * threshold * (i - min - mu + 0.5) / (max - min + 1)) -
          PHI(2.0 * threshold * (i - min - mu - 0.5) / (max - min + 1))) /
-         (2.0 * PHI(threshold) - 1.0)
-      </>
+         (2.0 * PHI(threshold) - 1.0)</>.
       Intuitively, the larger the <replaceable>threshold</>, the more
       frequently values close to the middle of the interval are drawn, and the
       less frequently values close to the <replaceable>min</> and