Some BNF tweaks