Fix phpdoc error