Docs: Change wrong documentation.

I think the current behavior is correct, but the docs are wrong. This aligns the docs with the behavior.

Closes #593 (closed)

added Discussion label

mentioned in commit 585bb572

merged