Fix bad phpdoc