fix phpdoc typo