diff --git a/Data/SBV/Core/Data.hs b/Data/SBV/Core/Data.hs
index 3fe2ec9b..5175d5e2 100644
--- a/Data/SBV/Core/Data.hs
+++ b/Data/SBV/Core/Data.hs
@@ -558,7 +558,7 @@ class SolverContext m where
    setLogic     = setOption . SetLogic
    setInfo    k = setOption . SetInfo k
 
--- | Register a type with the solver. Like 'registerFunction', This is typically not necessary
+-- | Register a type with the solver. Like 'Data.SBV.Core.Model.registerFunction', This is typically not necessary
 -- since SBV will register types as it encounters them automatically. But there are cases
 -- where doing this can explicitly can come handy, typically in query contexts.
 registerType :: forall a m. (MonadIO m, SolverContext m, HasKind a) => Proxy a -> m ()