diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt
index 7c2f0dc03f..ad3711feff 100644
--- a/doc/release-notes/drracket/HISTORY.txt
+++ b/doc/release-notes/drracket/HISTORY.txt
@@ -1,5 +1,5 @@
 ------------------------------
-        Version 5.1
+        Version 5.0.1
 ------------------------------
 
    . Check Syntax now reports obligation information