diff --git a/RELEASES.md b/RELEASES.md
index fb5e11873e..2225732059 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -212,7 +212,7 @@ Unreleased
     | true => isTrue (_ : n = m)
     | false => isFalse (_ : ¬n = m)
   -/
-```
+  ```
 
 * `exists` tactic is now takes a comma separated list of terms.