Fix BNF example