Update history to reflect merge of #2013 [ci skip]