 an issue with the Microsoft operating system. And we identified this very quickly and remediated the issue. And as systems come back online, as they're rebooted, they're coming up and they're working. And now we are working with each and every customer to make sure that we can bring them back online. But that was the extent of an issue, the issue in terms of a bug that was related to our update.