Fix an incorrect version number in ChangeLog.