fix reference to `scribble/BNF'