Update HISTORY for #3.