Fixing minor abnf bug