More PHPDoc fixes.