texi/ChangeLog: Fix previous commit