Update HISTORY.txt

Mismatch in versions