Fix several typos.

Reported by Reini Urban.

* HACKING: the -> then.

* txr.c (help): sare -> are.  Also remove blank line between
name and copyright.

2 files changed, 2 insertions, 3 deletions

diff --git a/HACKING b/HACKING
index 5c277a00..127bf7cb 100644
--- a/HACKING
+++ b/HACKING
@@ -254,7 +254,7 @@ and which points to a heap object (at least according to its bit field;
 is_ptr does not validate the pointer).
 
 The codes 01 10 and 11 indicate immediate values: values of type NUM, CHR and
-LIT, respectively. That is to say, if the tag bits are 01, then then remaining
+LIT, respectively. That is to say, if the tag bits are 01, then the remaining
 upper bits of the pointer constitute a signed integer. The range of this
 integer is NUM_MIN to NUM_MAX, defined in lib.h.  The code 10 is for
 characters: the remaining bits of the pointer encode a wchar_t value. The bits
diff --git a/txr.c b/txr.c
index b8e6267f..70cc320e 100644
--- a/txr.c
+++ b/txr.c
@@ -82,7 +82,6 @@ static void help(void)
   val text = lit(
 "\n"
 "TXR Version ~a\n"
-"\n"
 "Copyright 2015, Kaz Kylheku <kaz@kylheku.com>\n"
 "\n"
 "Usage:\n"
@@ -101,7 +100,7 @@ static void help(void)
 "options are interpreted as options. The -- option indicates the end of the\n"
 "options.\n"
 "\n"
-"If no data-file arguments sare supplied, then the query itself must open a\n"
+"If no data-file arguments are supplied, then the query itself must open a\n"
 "a data source prior to attempting to make any pattern match, or it will\n"
 "simply fail due to a match which has run out of data.\n"
 "\n"