Fixed HISTORY.txt entry