diff --git a/src/doc/index.in.html b/src/doc/index.in.html
index 15279ef1b..fd4402463 100644
--- a/src/doc/index.in.html
+++ b/src/doc/index.in.html
@@ -1,4 +1,4 @@
-
What is ECLS
+oWhat is ECLS
ECLS stands for
Embeddable Common-Lisp "Spain", and I usually read it as
@@ -8,6 +8,10 @@ comply to the ANSI
X3J13 definition of the language.
+ECLS was born from
+Giusseppe Attardi's ECoLisp environment, which was in turn based on Kyoto
+Common-Lisp. See the User's Guide for more detailed history.
+
It features
- A bytecodes compiler and interpreter.