small phpdoc typo fix