fixing ABNF formatting