diff --git a/src/Hint/Typecheck.hs b/src/Hint/Typecheck.hs
index 0bbabdf..dac679f 100644
--- a/src/Hint/Typecheck.hs
+++ b/src/Hint/Typecheck.hs
@@ -23,8 +23,8 @@ typeOf expr =
 
 -- | Tests if the expression type checks.
 --
--- NB. Be careful if there is `-fdefer-type-errors` involved.
--- Perhaps unsurprisingly, that can falsely make @typeChecks@ and @getType@
+-- NB. Be careful if @unsafeSetGhcOption "-fdefer-type-errors"@ is used.
+-- Perhaps unsurprisingly, that can falsely make @typeChecks@ and @typeChecksWithDetails@
 -- return @True@ and @Right _@ respectively.
 typeChecks :: MonadInterpreter m => String -> m Bool
 typeChecks expr = (True <$ typeOf expr)