diff --git a/Documentation/SBV/Examples/KnuckleDragger/Lists.hs b/Documentation/SBV/Examples/KnuckleDragger/Lists.hs
index d49f2487..270bf66a 100644
--- a/Documentation/SBV/Examples/KnuckleDragger/Lists.hs
+++ b/Documentation/SBV/Examples/KnuckleDragger/Lists.hs
@@ -71,9 +71,11 @@ filterEx2 = runKD $ do
 
         pure ()
 
+-- | Data declaration for an uninterpreted source type.
 data A
 mkUninterpretedSort ''A
 
+-- | Data declaration for an uninterpreted target type.
 data B
 mkUninterpretedSort ''B