fix to BNF