Update history to reflect fix of #1040