diff --git a/anubis_dev/library/tools/2-4tree.anubis b/anubis_dev/library/tools/2-4tree.anubis
index 7a09438..37e444e 100644
--- a/anubis_dev/library/tools/2-4tree.anubis
+++ b/anubis_dev/library/tools/2-4tree.anubis
@@ -1,6 +1,6 @@
   Author       : Matthieu Herrmann
   Creation     : 2014/04/14
-  Last update  : 2014/04/15 16:54 by matthieu@embryo (inserted by vim).
+  Last update  : 2014/04/16 14:28 by matthieu@embryo (inserted by vim).
   ======================================================================================================================
   Library import:
 read tools/iterators.anubis
@@ -103,8 +103,9 @@ public define Iterator(($Key, $Value)) take_right(TreeKV($Key, $Value) tkv).
   *** [3] Removing
     *** [3.1] Leaf functions
     *** [3.2] Internal node functions
-    *** [3.3] Main removing function
-    *** [3.4] Removal public interface on trees
+    *** [3.3] Rightmost leaf from the left node.
+    *** [3.4] Main removing function
+    *** [3.5] Removal public interface on trees
   *** [4] Get/has functions
     *** [4.1] Internal function for node
     *** [4.2] Get/has public interface on trees
@@ -436,6 +437,9 @@ define Node($Entry) node_fuse_in_right($Entry lkey, Node($Entry) lsubnode, Node(
     node4(_, _, _, _, _, _, _)  then should_not_happen(rnode)
   }.
 
+    *** [3.3] Rightmost leaf from the left node.
+        ================================================================================================================
+
 define $Entry search_left_rightmost(Node($Entry) node) = if node is
   {
     leaf1(l1)                   then l1
@@ -447,7 +451,7 @@ define $Entry search_left_rightmost(Node($Entry) node) = if node is
     node4(_, _, _, _, _, _, n4) then search_left_rightmost(n4)
   }.
 
-    *** [3.3] Main removing function
+    *** [3.4] Main removing function
         ================================================================================================================
 
     Removing function. BIG ONE: a lot of different case to handle here
@@ -866,7 +870,7 @@ define RemoveResult($Entry) remove(
 
   }.
 
-    *** [3.4] Removal public interface on trees
+    *** [3.5] Removal public interface on trees
         ================================================================================================================
 
 public define Tree($Entry) remove($Entry entry, Tree($Entry) tr) = if tr is
--
libgit2 0.21.4