fix PHPDoc