ChangeLog entry for fix of bug #4133