Fix stupid mistakes in HISTORY