fix phpdoc-typo