not caused by this PR, but phpdoc