diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt
index 0b5454df53..365603d657 100644
--- a/doc/release-notes/drracket/HISTORY.txt
+++ b/doc/release-notes/drracket/HISTORY.txt
@@ -1,3 +1,7 @@
+------------------------------
+        Version 5.1.2
+------------------------------
+
    . The EoPL language is no longer available via the Language
      dialog in DrRacket; use 
 
@@ -5,6 +9,8 @@
 
      and the 'language declared in the source' language in DrRacket.
 
+   . Minor bug fixes
+
 ------------------------------
         Version 5.1.1
 ------------------------------