Fix typo in phpdoc.