Fix a PHPDoc block