diff --git a/src/Analysis/Abstract/Collecting.hs b/src/Analysis/Abstract/Collecting.hs
index face7c4e9..ff0c2e1fc 100644
--- a/src/Analysis/Abstract/Collecting.hs
+++ b/src/Analysis/Abstract/Collecting.hs
@@ -26,7 +26,7 @@ evCollect ev0 ev' yield e = do
   modifyStore (gc (roots <> valueRoots v))
   pure v
 
--- | Collect any addresses in the store not rooted in the given 'Live' set.
+-- | Collect any addresses in the store not rooted in or reachable from the given 'Live' set.
 gc :: ( Ord (LocationFor a)
       , Foldable (Cell (LocationFor a))
       , ValueRoots (LocationFor a) a