diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt
index 4cc27edf27..958d573552 100644
--- a/doc/release-notes/drracket/HISTORY.txt
+++ b/doc/release-notes/drracket/HISTORY.txt
@@ -2,6 +2,9 @@
        Version 5.2.1
 ------------------------------
 
+  . The keybindings window is no longer a modal dialog (and its contents
+    will change to reflect where the keyboard focus currently is)
+
   . The initial current-directory for unsaved programs in DrRacket is
     now the user's home directory, instead of whatever the
     current-directory was for the underlying OS process.
@@ -11,9 +14,6 @@
 
   . DrRacket no longer shows a stacktrace for syntax errors in the REPL.
 
-  . The keybindings window is no longer a modal dialog (and its contents
-    will change to reflect where the keyboard focus currently is)
-
   . The preference that makes a single "(" keystroke insert "()" (and
     similarly for [ { " and |) now only takes effect in Racket mode,
     instead of taking effect in all of the modes, as it used to. This
diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index d82df8123f..7475624241 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -12,7 +12,8 @@ v5.2.1
     lambdaJS benchmark by about a factor of 25.
 
   * added support for side-conditions and where clauses to
-    define-relation
+    define-relation, also added support for side-conditions to
+    define-judgment-form
 
   * added the List-machine benchmark (by Appel, Dockins & Leroy)