fix doc
Merge pull request #6042