Fixing typo in phpdoc