Fix ECMA357 BNF bug