Update history to reflect merge of #1053. Closes #1038.