The changes come from the solution to a puzzling bug