Update the BNF. (Resolve: #6)