Correct some incorrect PHPDoc definitions.