fix invalid PHPDoc