Fix small typo in HISTORY