update history file (while fixing #18)