PHPDoc bug fix.