language tweak for the tip introduced in #3743
minor #3793 language tweak for the tip introduced in #3743 (xabbuh)

This PR was merged into the 2.3 branch.

Discussion
----------

language tweak for the tip introduced in #3743

| Q             | A
| ------------- | ---
| Doc fix?      | yes
| New docs?     | no
| Applies to    | all
| Fixed tickets |

Commits
-------

deb5d71 language tweak for the tip introduced in #3743