PHPDoc corrections