Fix documentation error
Merge pull request #6994 from tonk/docfix

Fix documentation error