kc3-lang/kc3

diff --git a/doc/1_KC3/1.25_Facts.en.md b/doc/1_KC3/1.25_Facts.en.md
index d4dbab6..6dcaaa0 100644
--- a/doc/1_KC3/1.25_Facts.en.md
+++ b/doc/1_KC3/1.25_Facts.en.md
@@ -1,7 +1,7 @@
 # 1.25 Facts
 
 Facts are triples in the form `{subject, relation, object}`.
-They are stored in a database. To create a database
+They are stored in a database. To create an empty database
 call `Facts.database()`. To query the environment database
 (global database with all program symbols and operators) use
 `Facts.env_db()`.