small documentation fix #276

Merged
muellerr merged 1 commits from small-doc-fix into main 2026-08-26 15:33:07 +02:00