Fix phpdoc