diff --git a/mathics/builtin/atomic/strings.py b/mathics/builtin/atomic/strings.py
index 99fcc5d24..bc046cff1 100644
--- a/mathics/builtin/atomic/strings.py
+++ b/mathics/builtin/atomic/strings.py
@@ -347,7 +347,7 @@ class CharacterEncodings(Predefined):
       <dd>stores the list of available character encodings.
     </dl>
 
-    >> $CharacterEncodings
+    >> $CharacterEncodings[[;;9]]
      = ...
     """
 
diff --git a/mathics/doc/documentation/1-Manual.mdoc b/mathics/doc/documentation/1-Manual.mdoc
index dac03b35b..5847b0aad 100644
--- a/mathics/doc/documentation/1-Manual.mdoc
+++ b/mathics/doc/documentation/1-Manual.mdoc
@@ -2,10 +2,7 @@
 <chapter title="Introduction">
 
 \Mathics is a <url>:computer algebra
-system:https://en.wikipedia.org/wiki/Computer_algebra_system</url>. It \
-is a free, open-source alternative to \Mathematica or the \Wolfram \
-Language. However, \Mathics builds around and on top of the Python \
-ecosystem of libraries and tools. So in a sense, you can think of it \
+system:https://en.wikipedia.org/wiki/Computer_algebra_system</url>. It is a free, open-source alternative to \Mathematica or the \Wolfram Language. However, \Mathics builds around and on top of the Python ecosystem of libraries and tools. So in a sense, you can think of it \
 as a WMA front-end to the Python ecosystem of tools.
 
 \Mathics is free both as in "free beer" but also, more importantly, as in "freedom". \Mathics can be run locally. But to facilitate installation of the vast amount of software need to run this, there is a <url>:docker image available on dockerhub: https://hub.docker.com/r/mathicsorg/mathics</url>.
@@ -55,7 +52,7 @@ Primitive types include rationals, complex numbers, and arbitrary-precision numb
 Outside of the "core" \Mathics kernel (which has a only primitive command-line interface), in separate github projects, as add-ons, there is:
 
 <ul>
-  <li>a <url>:command-line interface using either prompt-toolkit, or GNU Readline:https://pypi.org/project/mathicsscript/</url>
+  <li>a <url>:command-line interface:https://pypi.org/project/mathicsscript/</url> using either <url>:prompt-toolkit:https://python-prompt-toolkit.readthedocs.io/en/master/</url>, or GNU Readline
   <li>a <url>:Django-based web server:https://pypi.org/project/Mathics-Django/</url>
   <li>a <url>:Mathics3 module for Graphs:https://pypi.org/project/pymathics-graph/</url> (via <url>:NetworkX:https://networkx.org/</url>),
   <li>a <url>:Mathics3 module for NLP:https://pypi.org/project/pymathics-natlang/</url> (via <url>:nltk:https://www.nltk.org/</url>, <url>:spacy:https://spacy.io/</url>, and others)