Merge "Fix: documentation mistake" into main