doc fix
Bug #13121: Fix documentation