Update history to reflect merge of #143. [ci skip]