Fixed a PHPDoc comment