src/ChangeLog: Fix a typo in the last commit.