PHPDoc correction