HISTORY file fix