diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index 3044f1bb7..df9e0971a 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -69,7 +69,7 @@
 #
 # "make doc" builds book.pdf and the .html files and copies everything
 # into the src/doc/html directory. The content of the html directory
-# can be committed to the the
+# can be committed to the
 # https://github.com/fricas/fricas.github.io repository.
 #
 # "make localdoc" is like "make doc" except that links point to the local
@@ -180,7 +180,7 @@ UGEPSF        = ${AWK} -f ${srcdir}/ugepsf.awk
 # 12   Categories
 # 13   Domains
 # 14   Browse
-# 15   What's New in AXIOM Version 2.x
+# 15   What's New in FriCAS
 # Here starts the appendix.
 # 16   \Language{} System Commands
 # 17 o Categories (List)
diff --git a/src/doc/htex/REGSET.htex b/src/doc/htex/REGSET.htex
index f14e00ae9..0b92093b4 100644
--- a/src/doc/htex/REGSET.htex
+++ b/src/doc/htex/REGSET.htex
@@ -204,7 +204,7 @@ the four variables are completely determined and thus
 these sets have dimension zero.
 
 We give now the precise specifications of each decomposition.
-This assume some mathematical knowledge.
+This assumes some mathematical knowledge.
 However, for the non-expert user, the above explanations will
 be sufficient to understand the other features of the
 \spadtype{RSEGSET} constructor.
@@ -380,7 +380,7 @@ Define a polynomial system.
 \end{texonly}
 \xtc{
 Let us try the information option.
-N.B. The timing should be between 1 and 10 minutes, depending on your machine.
+%N.B. The timing should be between 1 and 10 minutes, depending on your machine.
 }{
 \spadcommand{zeroSetSplit(lq,true,true)\$T; \free{lq} \free{T}}
 }
@@ -388,7 +388,7 @@ N.B. The timing should be between 1 and 10 minutes, depending on your machine.
 Between a sequence of processes, thus between a \spad{]} and a \spad{[}
 you can see capital letters \spad{W, G, I} and lower case letters
 \spad{i, w}. Each time a capital letter appears a non-trivial computation
-has be performed and its result is put in a hash-table.
+has been performed and its result is put in a hash-table.
 Each time a lower case letter appears a needed result has been
 found in an hash-table.
 The use of these hash-tables generally speed up the computations.
@@ -442,6 +442,4 @@ even if the {\em Primeidealkettensatz} is used.
 Thus just try both, with the various options, before concluding
 that you cannot solve your favorite system with \spadfun{zeroSetSplit}.
 There exist more options at the development level that are not
-currently available in this public version.
-So you are welcome to contact {\em marc@nag.co.uk} for more
-information and help.
+listed above.
\ No newline at end of file
diff --git a/src/interp/int-top.boot b/src/interp/int-top.boot
index 37e6cfcbc..9ef9320e5 100644
--- a/src/interp/int-top.boot
+++ b/src/interp/int-top.boot
@@ -50,7 +50,7 @@ are doing a lot of debugging. Commands can also be executed in the
 underlying common lisp by using the [[)lisp]] command.
 
 If the user typed [[)fin]] then we exit the loop and drop into the
-underlying common lisp. You can use the [[(restart)]] function call
+underlying common lisp. You can use the "(|fricas_restart|)" function call
 to return to the top level loop.
 
 If the input line starts with a close parenthesis we parse the