fix docs

Small fix of phpdoc