Fixes #4253 fixed phpdoc