diff --git a/src/ghc-8.10/Witch/Lift.hs b/src/ghc-8.10/Witch/Lift.hs
index f11bfc0..7b3424f 100644
--- a/src/ghc-8.10/Witch/Lift.hs
+++ b/src/ghc-8.10/Witch/Lift.hs
@@ -37,7 +37,7 @@ liftedCast = TH.liftTyped . Utility.unsafeCast
 -- > unsafeFrom @s "some literal"
 -- >
 -- > -- Prefer this:
--- > $$(liftedCast @s "some literal")
+-- > $$(liftedFrom @s "some literal")
 liftedFrom
   :: forall s target source
    . ( Identity.Identity s ~ source
@@ -58,7 +58,7 @@ liftedFrom = liftedCast
 -- > unsafeInto @t "some literal"
 -- >
 -- > -- Prefer this:
--- > $$(liftedCast @t "some literal")
+-- > $$(liftedInto @t "some literal")
 liftedInto
   :: forall t source target
    . ( Identity.Identity t ~ target
diff --git a/src/ghc-8.8/Witch/Lift.hs b/src/ghc-8.8/Witch/Lift.hs
index 0762fb7..ed057fe 100644
--- a/src/ghc-8.8/Witch/Lift.hs
+++ b/src/ghc-8.8/Witch/Lift.hs
@@ -37,7 +37,7 @@ liftedCast s = TH.unsafeTExpCoerce $ TH.lift (Utility.unsafeCast s :: target)
 -- > unsafeFrom @s "some literal"
 -- >
 -- > -- Prefer this:
--- > $$(liftedCast @s "some literal")
+-- > $$(liftedFrom @s "some literal")
 liftedFrom
   :: forall s target source
    . ( Identity.Identity s ~ source
@@ -58,7 +58,7 @@ liftedFrom = liftedCast
 -- > unsafeInto @t "some literal"
 -- >
 -- > -- Prefer this:
--- > $$(liftedCast @t "some literal")
+-- > $$(liftedInto @t "some literal")
 liftedInto
   :: forall t source target
    . ( Identity.Identity t ~ target
diff --git a/src/ghc-9.0/Witch/Lift.hs b/src/ghc-9.0/Witch/Lift.hs
index f956af5..cbde4ba 100644
--- a/src/ghc-9.0/Witch/Lift.hs
+++ b/src/ghc-9.0/Witch/Lift.hs
@@ -38,7 +38,7 @@ liftedCast = TH.liftTyped . Utility.unsafeCast
 -- > unsafeFrom @s "some literal"
 -- >
 -- > -- Prefer this:
--- > $$(liftedCast @s "some literal")
+-- > $$(liftedFrom @s "some literal")
 liftedFrom
   :: forall s target m source
    . ( Identity.Identity s ~ source
@@ -60,7 +60,7 @@ liftedFrom = liftedCast
 -- > unsafeInto @t "some literal"
 -- >
 -- > -- Prefer this:
--- > $$(liftedCast @t "some literal")
+-- > $$(liftedInto @t "some literal")
 liftedInto
   :: forall t source m target
    . ( Identity.Identity t ~ target
diff --git a/src/lib/Witch/Instances.hs b/src/lib/Witch/Instances.hs
index 93915d8..212911d 100644
--- a/src/lib/Witch/Instances.hs
+++ b/src/lib/Witch/Instances.hs
@@ -1018,7 +1018,7 @@ instance Cast.Cast ShortByteString.ShortByteString ByteString.ByteString where
 -- Text
 
 -- | Uses 'Text.pack'. Some 'Char' values cannot be represented in 'Text.Text'
--- and will be replaced with '\xFFFD'.
+-- and will be replaced with @'\\xFFFD'@.
 instance Cast.Cast String Text.Text where
   cast = Text.pack
 
@@ -1037,7 +1037,7 @@ instance Cast.Cast Text.Text ByteString.ByteString where
 -- LazyText
 
 -- | Uses 'LazyText.pack'. Some 'Char' values cannot be represented in
--- 'LazyText.Text' and will be replaced with '\xFFFD'.
+-- 'LazyText.Text' and will be replaced with @'\\xFFFD'@.
 instance Cast.Cast String LazyText.Text where
   cast = LazyText.pack