Fix a ChangeLog formatting problem.