Update history to reflect fix of #1041.