Typo in phpdoc