update BNF for #588
comment