PHPdoc typo