diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 6ce948a6afca0cb2bdfb25fc4776b48e7a3f09be..cdf23f98a7de083f356b87b2d69a3594a42f3032 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -808,10 +808,15 @@
 	      <entry>dynamic</entry>
 	      <entry><option>-XNoConstraintKinds</option></entry>
 	    </row>
+        <row>
+          <entry><option>-XDataKinds</option></entry>
+          <entry>Enable <link linkend="kind-polymorphism-and-promotion">datatype promotion</link>.</entry>
+          <entry>dynamic</entry>
+          <entry><option>-XNoDataKinds</option></entry>
+        </row>
 	    <row>
 	      <entry><option>-XPolyKinds</option></entry>
-	      <entry>Enable <link linkend="kind-polymorphism">kind polymorphism</link>.
-                     Implies <option>-XKindSignatures</option>.</entry>
+	      <entry>Enable <link linkend="kind-polymorphism-and-promotion">kind polymorphism</link>.</entry>
 	      <entry>dynamic</entry>
 	      <entry><option>-XNoPolyKinds</option></entry>
 	    </row>