phpdoc small fix (2)