master 31a4bec6095: Fix documentation of last change

[Eli Zaretskii]

branch: master
commit 31a4bec609578afd453caf232f78e275c3a075bc
Author: Eli Zaretskii <eliz@gnu.org>
Commit: Eli Zaretskii <eliz@gnu.org>

    Fix documentation of last change
    
    * doc/lispref/objects.texi (Type Hierarchy): Fix wording and
    markup.
    * doc/lispref/elisp.texi (Top): Add new node to @detailmenu.
---
 doc/lispref/elisp.texi   |  1 +
 doc/lispref/objects.texi | 19 +++++++++++--------
 2 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/doc/lispref/elisp.texi b/doc/lispref/elisp.texi
index ed254795d90..71139db4359 100644
--- a/doc/lispref/elisp.texi
+++ b/doc/lispref/elisp.texi
@@ -300,6 +300,7 @@ Lisp Data Types
 * Type Predicates::         Tests related to types.
 * Equality Predicates::     Tests of equality between any two objects.
 * Mutability::              Some objects should not be modified.
+* Type Hierarchy::          Type Hierarchy of Emacs Lisp objects.
 
 Programming Types
 
diff --git a/doc/lispref/objects.texi b/doc/lispref/objects.texi
index 9a4c1473d75..dd212ef700c 100644
--- a/doc/lispref/objects.texi
+++ b/doc/lispref/objects.texi
@@ -60,7 +60,7 @@ to use these types can be found in later chapters.
 * Type Predicates::             Tests related to types.
 * Equality Predicates::         Tests of equality between any two objects.
 * Mutability::                  Some objects should not be modified.
-* Type Hierarchy::              Type Hierarchy.
+* Type Hierarchy::              Type Hierarchy of Emacs Lisp objects.
 @end menu
 
 @node Printed Representation
@@ -2499,11 +2499,13 @@ instances.  Lisp programs should be written so that 
they work
 regardless of whether this optimization is in use.
 
 @node Type Hierarchy
+@section Type Hierarchy of Emacs Lisp Objects
 
-Lisp types are organized in a hierarchy, this means that types can
-derive from other types.  Objects of a type B (which derives from type
-A) inherite all the charateristics of type A.  This also means that
-every objects of type B is at the same time of type A.
+Lisp object types are organized in a hierarchy, which means that types
+can derive from other types.  Objects of type B (which derives from type
+A) inherit all the characteristics of type A@.  This also means that
+every object of type B is at the same time an object of type A from
+which it derives.
 
 Every type derives from type @code{t}.
 
@@ -2511,9 +2513,10 @@ New types can be defined by the user through 
@code{defclass} or
 @code{cl-defstruct}.
 
 The Lisp Type Hierarchy for primitive types can be represented as
-follow:
+follows:
 
-@image{type_hierarchy,,,,png}
+@noindent
+@image{type_hierarchy,,,,.jpg}
 
 For example type @code{list} derives from (is a special kind of) type
-@code{sequence} which on itself derives from @code{t}.
+@code{sequence} which itself derives from @code{t}.