Fix type in HISTORY file. [admin]