diff --git a/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java b/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java
index b4f33c4ad..2ee085969 100644
--- a/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java
+++ b/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java
@@ -562,6 +562,10 @@ class IntroductionManagerImpl extends ConversationClientImpl
 
 	@FunctionalInterface
 	private interface MessageRetriever {
+		/**
+		 * Returns a set of messages that should be deleted.
+		 * These must be a subset of the given set of all messages.
+		 */
 		Set<MessageId> getMessages(Set<MessageId> allMessages);
 	}