diff --git a/.mailmap b/.mailmap
index cf030ef36..691db8ce9 100644
--- a/.mailmap
+++ b/.mailmap
@@ -117,6 +117,7 @@ Miod Vallat <miod@mantis>
 Christoph Spiel <cspiel@mantis>
 Joris Giovannangeli <joris@mantis>
 Wilfred Hughes <wilfred@fb.com> <wilfred@mantis>
+John Skaller <skaller@mantis>
 
 # These contributors prefer to be referred to pseudonymously
 whitequark <whitequark@whitequark.org>
diff --git a/Changes b/Changes
index 0519e4187..22a7b58e9 100644
--- a/Changes
+++ b/Changes
@@ -130,6 +130,9 @@ Working version
   (Laurent Thévenoux, review by Alain Frisch, Jacques-Henri Jourdan,
   Xavier Leroy)
 
+- GPR#2119: clarify the documentation of Set.diff
+  (Gabriel Scherer, suggestion by John Skaller)
+
 ### Other libraries:
 
 - GPR#1061: Add ?follow parameter to Unix.link. This allows hardlinking
diff --git a/stdlib/set.mli b/stdlib/set.mli
index 4e8e94bf7..1de4a9b5e 100644
--- a/stdlib/set.mli
+++ b/stdlib/set.mli
@@ -103,7 +103,8 @@ module type S =
         @since 4.08.0 *)
 
     val diff: t -> t -> t
-    (** Set difference. *)
+    (** Set difference: [diff s1 s2] contains the elements of [s1]
+       that are not in [s2]. *)
 
     val compare: t -> t -> int
     (** Total ordering between sets. Can be used as the ordering function