Update HISTORY for #39.