Fix a wrong PHPDoc block