Updated feature: Minor fixes in PHPDoc