A recent patch is apparently not working particularly well, and Fortinet is already working on another.