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

Fix phpdoc