FIX: docs for pull request #8548