small fix on phpdoc