The bug ran for more than a year, but it’s been fixed.