Fixed type in PHPDoc generation