small change in phpdoc after linting