Fix type in phpdoc.