Fix phpdoc typo