diff --git a/semantics.json b/semantics.json
index e4fc51e..d4f1f18 100644
--- a/semantics.json
+++ b/semantics.json
@@ -470,7 +470,7 @@
   {
     "name": "override",
     "type": "group",
-    "label": "Settings for \"Show solution\" and \"Retry\" buttons",
+    "label": "Settings for \"Check\", \"Show solution\" and \"Retry\"",
     "importance": "low",
     "optional": true,
     "fields": [
@@ -539,4 +539,4 @@
       }
     ]
   }
-]
\ No newline at end of file
+]