5 ms·

While not good, that is part of hedging. It's basically an insurance premium for a policy they never had to collect on.