Diff bnf-syntax-1.2-r2 with a bnf-syntax-1.2-r3

Thank you!