fix small typo in phpdoc