Fixing PHPDoc comments