Fix bad return type in phpdoc