PHPdoc fix.