fix in phpdoc