Minor typo fix in phpdoc