Fixing a syntax error in the ABNF