diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst
index 17ef06885b72202281e2bc3819ab1cf9c4c82d0b..e57c128a3eff4f37d4486fe9a1772b1fbaea3b21 100644
--- a/docs/users_guide/exts/instances.rst
+++ b/docs/users_guide/exts/instances.rst
@@ -139,8 +139,8 @@ BNF-style grammar for the tops of instance declarations below.
              |  arg_type infix_cls_tycon arg_type
              |  '(' arg_type infix_cls_tycon arg_type ')' arg_types
 
-  arg_type ::= <empty>
-            |  arg_type arg_types
+  arg_types ::= <empty>
+             |  arg_type arg_types
 
   opt_where ::= <empty>
              |  'where'