Fix typo in the phpdoc