Fortunately, it’s not a major bugfix, which means it’s easy to patch and can teach us all some useful lessons.