Update history to reflect fixing of #14.