Apparent typo in `user-index.doc` -- wrong index term type shown as an example?

https://gitlab.eclipse.org/eclipse/asciidoc-lang/asciidoc-lang/-/blob/main/docs/modules/sections/pages/user-index.adoc?ref_type=heads&plain=1

Currently:

If you want the entry to appear in the index using a different case, use an adjacent concealed index term, such as `+((term))Term+`.

Should be?

If you want the entry to appear in the index using a different case, use an adjacent concealed index term, such as `+(((term)))Term+`.