diff --git a/INSTALL b/INSTALL
index a1965f5fa..c2bf07566 100644
--- a/INSTALL
+++ b/INSTALL
@@ -64,8 +64,7 @@ instead of copying.
 
 The system has been mainly tested with GCC, but we have been able to
 compile versions of Yap under lcc in Linux, Sun's cc compiler, IBM's
-xlc, SGI's cc, and Microsoft's Visual C++ 6.0. The HP-UX preprocessor
-is known to choke under Yap.
+xlc, SGI's cc, Microsoft's Visual C++ 6.0 and HP's cc.
 
 1.3.1 Yap and GCC
 
diff --git a/docs/yap.tex b/docs/yap.tex
index c155b1f0d..174cd1720 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -1955,10 +1955,10 @@ will be used:
 
 @itemize @bullet
 @item
-a preceding plus signal will denote an argument as an "input argument" -
+a preceding plus sign will denote an argument as an "input argument" -
 it cannot be a free variable at the time of the call; 
 @item
- a preceding minus signal will denote an "output argument";
+ a preceding minus sign will denote an "output argument";
 @item
 an argument with no preceding symbol can be used in both ways.
 @end itemize
@@ -5026,7 +5026,7 @@ internal data-base but has several important differences:
 @item It is module aware, in contrast to the internal data-base.
 @item Keys can only be atoms or integers, and not compound terms.
 @item A single term can be stored per key.
-@item An atomic update operation is provides; this is useful for
+@item An atomic update operation is provided; this is useful for
 parallelism.
 @end itemize