From 549dcdca3e5463901b13d27283b7f7de36616465 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20F=C3=A4rber?= <01mf02@gmail.com>
Date: Mon, 6 Jan 2025 14:35:07 +0100
Subject: [PATCH] Correct path grammar.

---
 docs/content/manual/dev/manual.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/docs/content/manual/dev/manual.md b/docs/content/manual/dev/manual.md
index a902d9fe6e..13f11d683e 100644
--- a/docs/content/manual/dev/manual.md
+++ b/docs/content/manual/dev/manual.md
@@ -1095,10 +1095,8 @@ Therefore, we define it via a formal grammar in
 ~~~ ebnf
 field = ident | string;
 
-path = atomic, part
+init = atomic, part
      | ".", field
-     | path, part
-     | path, part, "?"
      ;
 
 part = ".", field
@@ -1108,6 +1106,10 @@ part = ".", field
      | "[", t, ":",    "]"
      | "[",    ":", t, "]"
      ;
+
+(* `[ t ]` stands for an optional occurrence of `t` and
+   `{ t }` stands for arbitrarily many occurrences of `t` *)
+path = init, [ "?" ], { part, [ "?" ] };
 ~~~
 
 Here,