Fix typo in phpdoc example