diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
index 60f2447f79c..012f3b6cee4 100644
--- a/docs/CHANGELOG.md
+++ b/docs/CHANGELOG.md
@@ -6,6 +6,9 @@ Version 3.2?.? (February 1, 2022)
 The `wpi.sh` script supports non-standard names for build system compile targets
 via the new `-c` command-line option.
 
+The Checker Framework now more precisely computes and checks the type of the
+pattern variable in a pattern match instanceof.
+
 **Implementation details:**
 
 Deprecated CFGLambda.getMethod{Name} in favor of getEnclosingMethod{Name}.