might possibly have fixed (or mitigated) the bug