Markup fix.

diff --git a/comparator.xml b/comparator.xml
index 7e01dd3dcd15cfe8d0949972fe16641ab168bb91..eddcae5448852ed6d7610fd2d7c26a8847def8c6 100644 (file)
--- a/comparator.xml
+++ b/comparator.xml
@@ -117,7 +117,7 @@ same line are ignored; also, block /* comments are retained, but the
 beginning /* and ending */ are ignored, In other files, all #
 comments are removed.</para>
 
-<pata>The option <option>-v</option> enables progress and timing
+<para>The option <option>-v</option> enables progress and timing
 messages to standard error.</para>
 
 <para>The <option>-x</option> enables some debugging output.  It