Massage EBNF Grammar For #4

In response to 60ee97cc2aa6bb1d8d170886bcf9a7e1cce965df,
update grammar description to reflect the change.