diff --git a/easycrypt/easycrypt-syntax.el b/easycrypt/easycrypt-syntax.el
index 48e64a574..4b84d3bd3 100644
--- a/easycrypt/easycrypt-syntax.el
+++ b/easycrypt/easycrypt-syntax.el
@@ -49,7 +49,7 @@
 
 (defconst easycrypt-goal-command-regexp
   (concat "^\\(?:local\\s-+\\)?\\(?:" (proof-ids-to-regexp easycrypt-keywords-proof-goal) "\\)"
-          "\\s-+\\(?:nosmt\\s-+\\)?\\(\\sw+\\)"))
+          "\\s-+\\([[:word:]_]\\)"))
 
 (defun easycrypt-save-command-p (span str)
   "Decide whether argument is a [save|qed] command or not."