Update history to reflect merge of #998
Quick clean-up from #998.