Fix some PHPDoc.