Minor typo in phpdoc