Issue #14202: some additional doc fixes
1 file changed