diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt
index 9c2a877083..7c2f0dc03f 100644
--- a/doc/release-notes/drracket/HISTORY.txt
+++ b/doc/release-notes/drracket/HISTORY.txt
@@ -2,6 +2,8 @@
         Version 5.1
 ------------------------------
 
+   . Check Syntax now reports obligation information 
+     (via a new item in the "View" menu)
    . added file-horizontal and flip-vertical to 2htdp/image
 
 ------------------------------