PHPDoc fix