kc3-lang/kc3

diff --git a/doc/1_KC3/1.17_Ident.en.md b/doc/1_KC3/1.17_Ident.en.md
index c81db89..c83f21d 100644
--- a/doc/1_KC3/1.17_Ident.en.md
+++ b/doc/1_KC3/1.17_Ident.en.md
@@ -4,7 +4,7 @@ The KC3 `Ident` type is an identifier. An identifier evaluates to its
 bound value in the current environnement, that is in local and global
 frames and then in the triple store.
 
-## 1.17 Examples
+## 1.17.1 Examples
 
 To get an `Ident` you can use quote :