Fix docs/HISTORY.txt