fix annotations BNF