fix bug in BNF spotted by @lucaswerkmeister