diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index ab0b9be7b9dab2f6d8d237e2f6fedc79f6abd5ab..ead62535777ade8d3d22875dd8d654722e0648cd 100644
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -102,7 +102,10 @@ main = do args <- getArgs
     <sect3 id="infelicities-decls">
       <title>Declarations and bindings</title>
 
-      <para>None known.</para>
+      <para>GHC's typechecker makes all pattern bindings monomorphic
+      by default; this behaviour can be disabled with
+      <option>-fno-mono-pat-binds</option>.  See <xref
+      linkend="options-language" />.</para>
     </sect3>
       
       <sect3 id="infelicities-Modules">