fix warning with phpdoc