ChangeLog entry for fix of bug #4030