refinement to bnf
Merge pull request #84 from teverett/master

refinement to bnf