diff --git a/docs/users_guide/7.4.1-notes.xml b/docs/users_guide/7.4.1-notes.xml
index f90847cda593dc08616c2782e7e8ef10251f8faa..e60f55dec3b446eba776ac22f0cc648bab1d5325 100644
--- a/docs/users_guide/7.4.1-notes.xml
+++ b/docs/users_guide/7.4.1-notes.xml
@@ -63,6 +63,7 @@
 
       <listitem>
         <para>
+          TODO: DataKinds now split off
           There is a new feature kind polymorphism
           (<literal>-XPolyKinds</literal>):
           <xref linkend="kind-polymorphism-and-promotion" />.
@@ -155,6 +156,7 @@ class C a where
 
             <listitem>
                 <para>
+                    TODO: DataKinds now split off
                     There is a new extension
                     <literal>PolyKinds</literal>.
                     This provides 2 related new features: