minor changes in ABNF