diff --git a/Doc/lib/libfuncs.tex b/Doc/lib/libfuncs.tex
index 088f969..39cb02b 100644
--- a/Doc/lib/libfuncs.tex
+++ b/Doc/lib/libfuncs.tex
@@ -265,7 +265,7 @@
   \code{fopen()}: \var{filename} is the file name to be opened,
   \var{mode} indicates how the file is to be opened: \code{'r'} for
   reading, \code{'w'} for writing (truncating an existing file), and
-  \code{'a'} opens it for appending (which on {\em some} {\UNIX}
+  \code{'a'} opens it for appending (which on {\em some} \UNIX{}
   systems means that {\em all} writes append to the end of the file,
   regardless of the current seek position).
   Modes \code{'r+'}, \code{'w+'} and
diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex
index 052bc9f..2b6b31e 100644
--- a/Doc/lib/libtypes.tex
+++ b/Doc/lib/libtypes.tex
@@ -492,7 +492,7 @@
 \indexii{dictionary}{type}
 
 Dictionaries are created by placing a comma-separated list of
-\code{\var{key}:\,var{value}} pairs within braces, for example:
+\code{\var{key}:\,\var{value}} pairs within braces, for example:
 \code{\{'jack':\,4098, 'sjoerd':\,4127\}} or
 \code{\{4098:\,'jack', 4127:\,'sjoerd'\}}.
 
@@ -683,7 +683,7 @@
 	you can tell whether the last line of a file ended in a newline
 	or not (yes this happens!).}
   (but may be absent when a file ends with an
-  incomplete line).  If thevar{size} argument is present and
+  incomplete line).  If the \var{size} argument is present and
   non-negative, it is a maximum byte count (including the trailing
   newline) and an incomplete line may be returned.
   An empty string is returned when \EOF{} is hit
@@ -713,7 +713,7 @@
 Truncate the file's size.  If the optional size argument present, the
 file is truncated to (at most) that size.  The size defaults to the
 current position.  Availability of this function depends on the
-operating system version (e.g., not all {\UNIX} versions support this
+operating system version (e.g., not all \UNIX{} versions support this
 operation).
 \end{funcdesc}
 
diff --git a/Doc/libfuncs.tex b/Doc/libfuncs.tex
index 088f969..39cb02b 100644
--- a/Doc/libfuncs.tex
+++ b/Doc/libfuncs.tex
@@ -265,7 +265,7 @@
   \code{fopen()}: \var{filename} is the file name to be opened,
   \var{mode} indicates how the file is to be opened: \code{'r'} for
   reading, \code{'w'} for writing (truncating an existing file), and
-  \code{'a'} opens it for appending (which on {\em some} {\UNIX}
+  \code{'a'} opens it for appending (which on {\em some} \UNIX{}
   systems means that {\em all} writes append to the end of the file,
   regardless of the current seek position).
   Modes \code{'r+'}, \code{'w+'} and
diff --git a/Doc/libtypes.tex b/Doc/libtypes.tex
index 052bc9f..2b6b31e 100644
--- a/Doc/libtypes.tex
+++ b/Doc/libtypes.tex
@@ -492,7 +492,7 @@
 \indexii{dictionary}{type}
 
 Dictionaries are created by placing a comma-separated list of
-\code{\var{key}:\,var{value}} pairs within braces, for example:
+\code{\var{key}:\,\var{value}} pairs within braces, for example:
 \code{\{'jack':\,4098, 'sjoerd':\,4127\}} or
 \code{\{4098:\,'jack', 4127:\,'sjoerd'\}}.
 
@@ -683,7 +683,7 @@
 	you can tell whether the last line of a file ended in a newline
 	or not (yes this happens!).}
   (but may be absent when a file ends with an
-  incomplete line).  If thevar{size} argument is present and
+  incomplete line).  If the \var{size} argument is present and
   non-negative, it is a maximum byte count (including the trailing
   newline) and an incomplete line may be returned.
   An empty string is returned when \EOF{} is hit
@@ -713,7 +713,7 @@
 Truncate the file's size.  If the optional size argument present, the
 file is truncated to (at most) that size.  The size defaults to the
 current position.  Availability of this function depends on the
-operating system version (e.g., not all {\UNIX} versions support this
+operating system version (e.g., not all \UNIX{} versions support this
 operation).
 \end{funcdesc}