diff --git a/src/BwdLabels.mli b/src/BwdLabels.mli
index c4e1a04..b41cc36 100644
--- a/src/BwdLabels.mli
+++ b/src/BwdLabels.mli
@@ -20,7 +20,7 @@
      {- Functions [rev], [rev_append], [rev_map], and [rev_map2] will {i never} be included.}}}
    {- Missing but may be added in the future:
       {ul
-      {- [init], [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
+      {- [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
       {- Functions related to association lists.}
       {- Functions related to sorting.}
       {- Conversion from/to sequences.}}}}
diff --git a/src/BwdNoLabels.mli b/src/BwdNoLabels.mli
index 39c3e99..9711cc8 100644
--- a/src/BwdNoLabels.mli
+++ b/src/BwdNoLabels.mli
@@ -20,7 +20,7 @@
      {- Functions [rev], [rev_append], [rev_map], and [rev_map2] will {i never} be included.}}}
    {- Missing but may be added in the future:
       {ul
-      {- [init], [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
+      {- [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
       {- Functions related to association lists.}
       {- Functions related to sorting.}
       {- Conversion from/to sequences.}}}}