fix typo in phpdoc