fixed documentation and added an error message for execute statement failHEADmaster

1 files changed, 2 insertions, 2 deletions

diff --git a/doc/en.txt b/doc/en.txt
index 95f1f91..68e115a 100644
--- a/doc/en.txt
+++ b/doc/en.txt
@@ -17,8 +17,8 @@ Syntax:
 	<machine internals> := { <states definition> ";" | <events definition> ";" | <transitions definition> ";" \
 								| "starting" "on" <id> ";" }
 
-	<states definition> := "states" "[" { <id> [ "on" "entering" <execute statement> ] \
-	       	[ "on" "exiting" <execute statement> ] }+ "]"
+	<states definition> := "states" "[" { <id> [ "[" ( "on" "entering" <execute statement> ";" ] \
+	       	[ "on" "exiting" <execute statement> ";" ] "]" }+ "]"
 
 	<events definition> := "events" "[" { <id> }+ "]"	
 	<transitions definition> := "transitions" "[" { <transition> ";" }+ "]"