diff --git a/src/Data/Bool/ListAction.agda b/src/Data/Bool/ListAction.agda
index 1b6609fa07..d7dc34c5a0 100644
--- a/src/Data/Bool/ListAction.agda
+++ b/src/Data/Bool/ListAction.agda
@@ -1,10 +1,11 @@
 ------------------------------------------------------------------------
 -- The Agda standard library
 --
--- Natural numbers: sum and product of lists
+-- Booleans: conjunction and disjunction of lists
 --
 -- Issue #2553: this is a compatibility stub module,
--- ahead of a more thorough breaking set of changes.
+-- ahead of a more thorough refactoring in terms of
+-- `Data.List.Effectful.Foldable.foldmap`.
 ------------------------------------------------------------------------
 
 {-# OPTIONS --cubical-compatible --safe #-}