Fix some PHPDoc blocks