Add HISTORY entry for #25