diff --git a/website/i18n/en.json b/website/i18n/en.json
index 223d96804..5ce9d30e8 100644
--- a/website/i18n/en.json
+++ b/website/i18n/en.json
@@ -135,13 +135,13 @@
         "title": "Recursion"
       },
       "refmt": {
-        "title": "refmt"
+        "title": "Format (refmt)"
       },
       "regular-expression": {
         "title": "Regular Expression"
       },
       "rtop": {
-        "title": "rtop"
+        "title": "REPL (rtop)"
       },
       "string-and-char": {
         "title": "String & Character"