Typo fix in phpdoc