Fix phpdoc
Merge pull request #3154 from francoispluchino/fix-phpdoc

Fix phpdoc