Fix documentation after solving issue 2728.