Fix bad PHPDoc comments