Fix typo in phpdoc / documentation