fix phpdoc mistake