improved formatting of ABNF