PHPDoc comment small modification