Fix typo in phpdoc