fix the HISTORY file to describe change happened in b47812fb