diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst
index e57c128a3eff4f37d4486fe9a1772b1fbaea3b21..ff8f9139fcc9bb31224669090aa5fe96e3cd34ea 100644
--- a/docs/users_guide/exts/instances.rst
+++ b/docs/users_guide/exts/instances.rst
@@ -718,7 +718,7 @@ Some details:
 -  The instance signature is purely local to the class instance
    declaration. It only affects the typechecking of the method in
    the instance; it does not affect anything outside the class
-   instance. In this way, it is similar to an inline type signature:
+   instance. In this way, it is similar to an inline type signature: ::
 
        instance Eq a => Eq (T a) where
            (==) = (\ x y -> True) :: forall b. b -> b -> Bool