[master] Better documentation for

Fixes #7492