small fix in EBNFPar's main