Fix the wrong type in phpdoc comment