Fix typo in history file