Fix documentation after solving issue 2728.
(cherry picked from commit 1a5f5599916386ba7e698b1386f9d5b60aa972de)