--- a/reports/Makefile.init Tue Jun 25 20:28:59 2013 +0200
+++ b/reports/Makefile.init Tue Jun 25 20:29:13 2013 +0200
@@ -8,7 +8,7 @@
#
# MACOSX caveat:
# as filenames are not case sensitive (in a default setup),
-# we cannot use tha above trick. Therefore, this file is now named
+# we cannot use the above trick. Therefore, this file is now named
# "Makefile.init", and you have to execute "make -f Makefile.init" to
# get the initial makefile. This is now also done by the toplevel CONFIG
# script.