diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index e52c2539e8..75db8643b5 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -1,4 +1,4 @@
-v5.2.2
+v5.3
 
   * added the amb tutorial.