diff --git a/singletons/src/Data/Singletons.hs b/singletons/src/Data/Singletons.hs
index 4da69f43..7107fc54 100644
--- a/singletons/src/Data/Singletons.hs
+++ b/singletons/src/Data/Singletons.hs
@@ -229,11 +229,11 @@ various drawbacks:
 -- @
 --
 -- Here, @f@ uses methods from both 'SingI' and 'SingKind'. However, the shape
--- of each constraint is rather different: using 'sing' requires a 'SingI T'
--- constraint, whereas using 'fromSing' requires a 'SingKind K' constraint.
+-- of each constraint is rather different: using 'sing' requires a @SingI T@
+-- constraint, whereas using 'fromSing' requires a @SingKind K@ constraint.
 --
 -- If you need to satisfy this constraint with an explicit singleton, please
--- see 'withSingI' or the 'Sing' pattern synonym.
+-- see 'withSingI' or the v'Sing' pattern synonym.
 #if __GLASGOW_HASKELL__ >= 900
 type SingI :: forall {k}. k -> Constraint
 #endif