Fixed wrong type in PHPDoc