diff --git a/books/bookvol1.pamphlet b/books/bookvol1.pamphlet
index 8a65b54..4226c80 100644
--- a/books/bookvol1.pamphlet
+++ b/books/bookvol1.pamphlet
@@ -1756,7 +1756,7 @@ is the same as if you had entered
 \end{verbatim}
 
 Axiom statements in an {\bf input} file
-can use indentation to indicate the program structure .
+can use indentation to indicate the program structure.
 
 \subsection{Comments}
 \label{sec:Comments}
@@ -1899,7 +1899,7 @@ floating point number to the nearest integer while the other truncates
 {\bf floating point} number. To extract the fractional part of a floating
 point number use the function {\bf fractionPart} but note that the sign
 of the result depends on the sign of the argument. Axiom obtains the
-fractional partof $x$ using $x - truncate(x)$:
+fractional part of $x$ using $x - truncate(x)$:
 
 \index{round}
 \spadcommand{round(3.77623)}
@@ -2307,7 +2307,7 @@ $$
 \index{; output suppression}
 Note that the semicolon ``;'' in the examples above allows several
 expressions to be entered on one line. The result of the last expression
-is displayed. remember also that the percent symbol ``\%'' is used to
+is displayed. Remember also that the percent symbol ``\%'' is used to
 represent the result of a previous calculation.
 
 To display rational numbers in a base other than 10 the function {\bf radix}
@@ -2387,7 +2387,7 @@ is available and returns a partial fraction of one term. To decompose this
 further the numerator can be obtained using {\bf firstNumer} and the 
 denominator with {\bf firstDenom}. The whole part of a partial fraction can
 be retrieved using {\bf wholePart} and the number of fractional parts can
-be found using the function {\bf numberOf FractionalTerms}:
+be found using the function {\bf numberOfFractionalTerms}:
 
 \spadcommand{t := partialFraction(234,40)}
 $$
@@ -2561,7 +2561,7 @@ include them in the object files produced and make them available to the
 end user for documentation purposes.
 
 A description is placed {\bf before} a calculation begins with three
-``+++'' signs and a description placed after a calculation begins with
+``+'' signs and a description placed after a calculation begins with
 two plus signs ``++''. The so-called ``plus plus'' comments are used
 within the algebra files and are processed by the compiler to add
 to the documentation. The so-called ``minus minus'' comments are ignored
@@ -4161,7 +4161,7 @@ statement leaves the current function.
 
 \index{iterate}
 To skip the rest of a loop body and continue the next iteration of the loop
-use the {\bf iterate} statement (the -- starts a comment in Axiom)
+use the {\bf iterate} statement (the {\tt --} starts a comment in Axiom)
 \begin{verbatim}
 i := 0
 repeat
@@ -4465,8 +4465,8 @@ for w in ["This", "is", "your", "life!"] repeat
 The second form of the {\bf for} loop syntax includes a ``{\bf such that}''
 clause which must be of type {\bf Boolean}:
 \begin{center}
-for {\sl var} | {\sl BoolExpr} in {\sl seg} repeat {\sl loopBody}\\
-for {\sl var} | {\sl BoolExpr} in {\sl list} repeat {\sl loopBody}
+for {\sl var} in {\sl seg} \textbar\ {\sl BoolExpr} repeat {\sl loopBody}\\
+for {\sl var} in {\sl list} \textbar\ {\sl BoolExpr} repeat {\sl loopBody}
 \end{center}
 We can iterate over a segment
 \begin{verbatim}
@@ -4672,7 +4672,7 @@ $$
 $$
 \returnType{Type: Fraction Integer}
 
-To factor fractions, you have to pmap {\bf factor} onto the numerator
+To factor fractions, you have to map {\bf factor} onto the numerator
 and denominator.
 
 \index{map}
@@ -5245,7 +5245,7 @@ returns the maximum element of the heap, after destructively removing
 that element and reorganizing the heap so that the next maximum
 element is ready to be delivered.
 
-An easy way to create a heap is to apply the operation {\it heap}
+An easy way to create a heap is to apply the operation {\bf heap}
 to a list of values.
 \index{heap}
 \spadcommand{h := heap [-4,7,11,3,4,-7]}
@@ -5318,7 +5318,7 @@ corresponding structure like streams for infinite collections.
 Create sets using braces ``\{`` and ``\}'' rather than brackets.
 
 \index{set}
-\spadcommand{fs := set[1/3,4/5,-1/3,4/5]}
+\spadcommand{fs := set [1/3,4/5,-1/3,4/5]}
 $$
 \left\{
 -{1 \over 3},  {1 \over 3},  {4 \over 5}