diff --git a/docs/users_guide/7.2.1-notes.xml b/docs/users_guide/7.2.1-notes.xml
index 58ded154d5fe7e386ca5a09b13f2e647cf2ec59e..91bb50312adcd366ca1e9402edaa83a57174ea29 100644
--- a/docs/users_guide/7.2.1-notes.xml
+++ b/docs/users_guide/7.2.1-notes.xml
@@ -48,6 +48,27 @@
         </para>
       </listitem>
 
+      <listitem>
+        <para>
+          The <literal>TypeSynonymInstances</literal> extension now
+          correctly requires that instances are valid once the type
+          synonym is expanded. For example, in order to have
+        </para>
+<programlisting>
+instance SomeClass String where
+    ...
+</programlisting>
+        <para>
+          you need both <literal>TypeSynonymInstances</literal> and
+          <literal>FlexibleInstances</literal> enabled, as the latter
+          is necessary for
+        </para>
+<programlisting>
+instance SomeClass [Char] where
+    ...
+</programlisting>
+      </listitem>
+
       <listitem>
         <para>
           The <literal>DatatypeContexts</literal> extension (which will