Fixed bad encoding in previous ChangeLog commit.