Small PHPDoc fix.