fix phpdoc error