diff --git a/lib/doc/languages/gf-english-1.txt b/lib/doc/languages/gf-english-1.txt
index 1679e011e..df410382e 100644
--- a/lib/doc/languages/gf-english-1.txt
+++ b/lib/doc/languages/gf-english-1.txt
@@ -1,4 +1,4 @@
 
-+Words: English-specific section+
++Words: English-specific rules+
 
 
diff --git a/lib/doc/languages/gf-english-2.txt b/lib/doc/languages/gf-english-2.txt
index 955a246aa..4abc60139 100644
--- a/lib/doc/languages/gf-english-2.txt
+++ b/lib/doc/languages/gf-english-2.txt
@@ -1,4 +1,4 @@
 
 
-+Syntax: English-specific section+
++Syntax: English-specific rules+
 
diff --git a/lib/doc/languages/gf-general-1.txt b/lib/doc/languages/gf-general-1.txt
index c1b2e297f..656180073 100644
--- a/lib/doc/languages/gf-general-1.txt
+++ b/lib/doc/languages/gf-general-1.txt
@@ -7,8 +7,14 @@ Aarne Ranta
 %!postproc(html) : "#BECE" "<center>"
 %!postproc(tex)  : "#ENCE" "end{center}"
 %!postproc(html) : "#ENCE" "</center>"
+%!postproc(tex)  : "#HR" "hline"
+%!postproc(html) : "#HR" "<hr>"
 
 
+Also available for [Chinese gf-chinese.html] [Finnish gf-finnish.html] [French gf-french.html] [German gf-german.html] [Swedish gf-swedish.html]
+
+#HR
+
 **Digital grammars** are grammars usable by computers, so that they can mechanically perform 
 tasks like interpreting, producing, and translating languages. The **GF Resource Grammar Library**
 (RGL) is a set of digital grammars which, at the time of writing, covers 28 languages. These grammars
@@ -47,7 +53,7 @@ in question.
 
 
 
-+Words: general section+
++Words: general rules+
 
 Categories of words are called **lexical categories**.
 The language-specific variation in lexical categories is due to **morphology**, that is, the different forms that
@@ -131,7 +137,7 @@ The following table summarizes the most important semantic types that will be us
 
 || name  | text name              | example             | definition ||
 | ``e``  | entity                 | //Paris//           | (primitive)
-| ``t``  | proposition            | //Paris is large//  | (primitive)
+| ``t``  | proposition ("truth value")  | //Paris is large//  | (primitive)
 | ``q``  | question               | //is Paris large//  | (primitive)
 | ``p``  | top-level phrase       | //Paris is large.// | (primitive)
 | ``n``  | substantive ("noun")   | //man//             | ``e -> t`` 
diff --git a/lib/doc/languages/gf-general-2.txt b/lib/doc/languages/gf-general-2.txt
index 8ea857d99..100c8b794 100644
--- a/lib/doc/languages/gf-general-2.txt
+++ b/lib/doc/languages/gf-general-2.txt
@@ -1,5 +1,5 @@
 
 
-+Syntax: general section+
++Syntax: general rules+