Fix typo in doxygen comment.
Merge pull request #5365

3a05ba1 Fix typo in doxygen comment. (Pavel Janík)